About

The goal of this project is to centralize resources and references about the use of SAT (satisfiability) solvers in mathematics (broadly understood).

It is a spin-off of the great project for the area of Algorithms with Predictions that is led and managed by Alexander Lindermayr and Nicole Megow, who kindly allowed us to fork their code.

This website is managed by Bernardo Subercaseaux.