Basic tree structures.
Untested CNF conversion.
Add minisat from git.
Add not CNF conversion.
Buggy CNF flattening support. Needs graphviz to help debug.