SA

Keep up to date with the satisfiability problem

Th

The SAT Game is a funny representation of the SAT problem.

Software

XCSP3 is a universal format, based on XML, allowing to represent instances of constrained combinatorial problems.