dimacs
| Crates.io | dimacs |
| lib.rs | dimacs |
| version | 0.2.0 |
| created_at | 2017-03-05 23:10:30.366832+00 |
| updated_at | 2017-03-28 17:01:11.003084+00 |
| description | Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the DIMACS SAT solver competitions. |
| homepage | |
| repository | https://github.com/robbepop/dimacs-parser |
| max_upload_size | |
| id | 8838 |
| size | 108,443 |
Robin Freyler (Robbepop)
documentation
https://docs.rs/dimacs
README
DIMACS Parser
Utilities to parse files in DIMACS .cnf or .sat SAT format which is useful in participating in the DIMACS SAT solver competition.
Basically provides the following API:
fn parse_dimacs(input: &str) -> Result<Instance> { .. }