Explore projects
-
Archived 0Updated
-
-
Jonas Bollgrün / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
Lukas Kaufmann / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Assad Montasser / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
weblab / bundle
GNU Lesser General Public License v2.1 onlyThis 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 -
-
weblab / various / service-client-cli
GNU Lesser General Public License v2.1 onlyThis project produces a zip package containing a command line interface (CLI) tool enabling to call and tests WebLab services
Updated -
Dockerfile for generating a docker image running a CLIF server (everything you need to deploy and run CLIF test plans).
Updated -
Hello, CheerpJGNAT! Bridging CheerpJ and JGNAT. Using project files (gpr) with JGNAT. Build scripts and bindings for a quick start.
Updated -
Updated
-
Updated
-
Updated
-
-
SAT4J / xcsp
Eclipse Public License 1.0CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.
Updated -
Nicola Spanti / clif-web-proxy
Creative Commons Zero v1.0 UniversalThis 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 -
-
Updated