Age | Commit message (Expand) | Author |
---|---|---|
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-04-30 | added support for dumping the SAT problem the sat solver is working on | lianah |
2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
2012-07-31 | Options merge. This commit: | Morgan Deters |