LemonLDAP::NG Web SSO

General public OW2 issue tracker and help desk.

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

This project contains the sources of the OW2 ASM library.