Last released Dec 7, 2018
A collection of tools for working with and generating Dimacs CNF files.
Supported by