cnf-parser (cargo): Efficient and customizable CNF parser for SAT solving.
Keywords: sat|satisfiability|cnf|parser|cnf-clauses|sat-solver