What is this

an end-to-end cnf parser.

Usage

Todo

• [ ] Added customized operator
• [ ] An optional sat-solver