Encoders for various CNF-based problems
cnf_to_pbScript.sml: Parsing CNFs and convert into npbc
wcnf_to_pbScript.sml: WCNF into pbc, written in a tutorial style
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Encoders for various CNF-based problems
cnf_to_pbScript.sml: Parsing CNFs and convert into npbc
wcnf_to_pbScript.sml: WCNF into pbc, written in a tutorial style