- add checks for enhanced errors (
fn parse_safe_dimacs) - maybe add other DIMACS formats (e.g. edge)
- add some benchmarks testing performance of the new parsing facility
- add some other parser and lexer tests
- add fuzz testing
- add macro to easily create static formulas