Last released Jul 9, 2025
A prototype library to prototype SAT encodings
Last released Jul 16, 2018
Supported by