Package Usage: cargo: varisat-dimacs
DIMCAS CNF parser and writer for the Varisat SAT solver
2 versions
Latest release: plus de 5 ans ago
2 dependent packages
367 906 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/varisat-dimacs
Dependent Repos 1
crillab/crusti_bat
A Belief Aggregation Tool.Size: 86,9 ko - Last synced: 1 jour ago - Pushed: environ 2 ans ago