crates.io "dimacs" keyword
View the packages on the crates.io package registry that are tagged with the "dimacs" keyword.
boolean-circuit 2.2.0
A library to import, modify and export boolean circuits.3 versions - Latest release: 2 months ago - 1.31 thousand downloads total - 0 stars on GitHub - 1 maintainer
dimacs 0.2.0
Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the D...2 versions - Latest release: over 8 years ago - 4 dependent repositories - 16.2 thousand downloads total - 8 stars on GitHub - 1 maintainer
traitgraph-dimacs-io 8.1.1
Functions to read and write graphs in DIMACS format10 versions - Latest release: 6 months ago - 9.64 thousand downloads total - 3 stars on GitHub - 1 maintainer
satoxid 0.1.2
Boolean satisfiability problem encoding library written in rust.3 versions - Latest release: about 4 years ago - 3.77 thousand downloads total - 9 stars on GitHub - 1 maintainer
ratsat-bin 0.0.1
MiniSat reimplemented in Rust1 version - Latest release: over 7 years ago - 1.67 thousand downloads total - 20 stars on GitHub - 1 maintainer
cnfpack 0.1.1
Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format2 versions - Latest release: over 3 years ago - 2.58 thousand downloads total - 1 stars on GitHub - 1 maintainer