Explore projects
-
-
This project generates a preconfigured WebLab application in a tar.gz archive. This can be used either for demonstration purposes or as a baseline to produce more complex applications.
Updated -
-
archived 0Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
This project aims to make it easy to capture a web "session", in order to be complementary for tools that tests network behaviour/load of web apps (like CLIF). It is free/libre software and does not depend on proprietary software.
Updated -
-
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -