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.

LemonLDAP::NG Web SSO

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