fix atom ordering issue in truth table generation
fix atom ordering issue in truth table generation
Fix package structure in tests
Add minisatjava
First version of DNNF Compiler with MiniSatJava, tests still failing
Fix several bugs. Small tests run through now. On bigger formulas most likely still buggy.
Merge branch 'dnnf' of https://github.com/warthog-logic/warthog into dnnf