This project contains the sources of the OW2 ASM library.

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.

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

LemonLDAP::NG Web SSO