A checker for pseudo-boolean constraints.
array: Improving the pseudo-boolean proof checker with arrays (manually).
cnf_encoding: Encoders for various CNF-based problems.
graph_encoding: Encoders for various graph problems.
npbcScript.sml: Formalisation of normalised pseudo-boolean constraints
npbc_checkScript.sml: Pseudo-boolean constraints proof format and checker
pb_parseScript.sml: Parse and print for pbc, npbc_check
pbcScript.sml: Formalisation of a flexible surface syntax and semantics for pseudo-boolean problems with 'a var type
pbc_normaliseScript.sml: Normalizes pbc into npbc
spt_to_vecScript.sml: Converting sptree to vector