Explore projects
-
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Updated -
CHOReVOLUTION / chorevolution-studio
Apache License 2.0Updated -
CHOReVOLUTION / syncope
Apache License 2.0Updated -
-
-
PaaSage / deployment_scripts
Apache License 2.0Updated -
Updated -
PaaSage / paasage_frontend
Apache License 2.0Updated -
PaaSage / social_network
feh LicenseUpdated -
Jan Elffers / sat4j
Eclipse Public License 1.0Updated -
-
asm / eclipse-plugin
BSD 2-Clause "Simplified" LicenseThis project contains the sources of the OW2 ASM library Eclipse plugin.
archived 1Updated -
-
fabio martelli / syncope
Apache License 2.0Updated -
Lukas Rytz / asm
BSD 3-Clause "New" or "Revised" LicenseThis project contains the sources of the OW2 ASM library.
Updated -
SAT4J / xcsp
Eclipse Public License 1.0CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.
Updated -