commit to pull
Merge branch 'master' of github.com:moerkb/logical-workbench
Added sat-solve-dimacs and worked on sat-solve

* sat-solve-dimacs return a vector of numbers
* sat-solve returns a vector of literals