Encoders for various graph problems
cliqueScript.sml: Formalization of the max clique problem
graph_basicScript.sml: Basic graph notions
mcisScript.sml: Formalization of the maximum common induced subgraph problem
subgraph_isoScript.sml: Formalization of the subgraph isomorphism encoder (non-induced)