Explore projects

STAMP DevOps POC

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

This project contains the sources of the OW2 ASM library home page.

This project contains the sources of the OW2 ASM library.

This project contains the sources of the OW2 ASM library.

CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.

erocci frontend (HTML)