Discover projects, groups and snippets. Share your projects with others
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
CLIF runtime, load injectors, probes and GUIs.
The clif-legacy repo is the reference version to use, still maintained and extended, as long as the Proactive CLIF version is not fully functional.
This project contains the sources of the OW2 ASM library.