Add sat4j interface
Add dimacs reader
Merge branch 'master' of github.com:rbarzic/boolean-logic

Conflicts:
	project.clj