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

LemonLDAP::NG Web SSO

This project contains the sources of the OW2 ASM library.

DiSL is an AOP-inspired domain-specific language for Java bytecode instrumentation.

AuthzForce Core PDP engine (Community Edition)

General public OW2 issue tracker and help desk.

AuthzForce Server (Community Edition)