initial commit
first commit
adding readme
stubbing some support for temporal logics
reorganize tests
reorganize tests
reorganize tests
refactor obligations and improve tests for doctrine
default thetas for obligations+tests
savepoint implementing decomposition and solutions for expressions
implement walkSAT and add tests
clean comments and fix typos
dox are meager.. might as well at least be clear
split testcase
.clauses -> ._clauses
very simple shell interface for working with spock
very simple shell interface for working with spock
gear for constraint solving
move zebra problem to testcase
pyflaking