I’m looking for a collection of SAT problems that are usable for a test suite, i.e.:
- are small/easy to solve, that is, this is not a benchmark but a correctness test suite
- some satisfiable, some unsatisfiable
- answer and a possible assignment (for sat. ones) is known
All I find online are collections of benchmarks but heavy formulas are not what I need.