First Version of sat4j import in clojure (work in progress)
Implement sat-solver with sat4j (not tested!!!)
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git
Simple SAT solver with sat4j finished.
Merge branch 'master' of github.com:moerkb/logical-workbench