TODO.md

TODO

0.2 TODO:

• Definition.toString()
• Constraint.toString()
• SatSolver interface
• more sophisticated viability

Etc.

Util.transformToCnf(expression[, variable])

http://fmv.jku.at/limboole/

https://github.com/dbasedow/aima-propositional-logic/blob/master/aima-core/src/main/java/aima/core/logic/propositional/visitors/ConvertToCNF.java