cnf-parser 0.1.1

Efficient and customizable CNF parser for SAT solving.
Documentation
1
2
/target
Cargo.lock