Improving the pseudoboolean proof checker with arrays (manually)
cliqueProgScript.sml: Clique encode and checker
cnfProgScript.sml: CNF encoder and checker
compilation: Compiling the pseudo-boolean constraints checker
graphProgScript.sml: Basic shared graph encoder definitions
mccisProgScript.sml: MCIS (connected) encode and checker
mcisProgScript.sml: MCIS (unconnected) encode and checker
npbc_arrayProgScript.sml: Refine npbc_list to npbc_array
npbc_fullProgScript.sml: Add PBF parsing and wrap around the PBP parser
npbc_listScript.sml: Refine PB proof checker to use arrays
npbc_parseProgScript.sml: Add shared pbp parsing, normalization and other common stuff to npbc_arrayProg
subgraph_isoProgScript.sml: Subgraph isomorphism encoder and checker
wcnfProgScript.sml: WCNF encoder and checker