- Tseitin (NNF to CNF)
- DPLL
- Klee (Bugs in
coreutils) - Graph Vertex Cover to CNF
- also includes a secondary algorithm to cross-check our encoding
- our own
generateNNF.pyto generate random NNFs- our professor's fuzzy
gen_form.pyas submodule- useful command to keep up to date:
git submodule foreach git pull origin master
- useful command to keep up to date:
- our professor's fuzzy
- our own
genAdjacencyMatrix.pyto generate random adjacency matrices (bottom-left half)