cnf-parser 0.1.1

Efficient and customizable CNF parser for SAT solving.
Documentation