Package Usage: cargo: varisat-dimacs

DIMCAS CNF parser and writer for the Varisat SAT solver
2 versions
Latest release: over 4 years 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 KB - Last synced: 7 days ago - Pushed: about 1 year ago