A checker for pseudo-boolean constraints
array: Improving the pseudoboolean 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, npb_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