Age | Commit message (Expand) | Author |
---|---|---|
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-12-11 | Minor fixes to language bindings. (Resolves #607.) | Morgan Deters |
2014-12-03 | Fix UnsatCore in language bindings. | Morgan Deters |
2014-08-22 | Java-side interface improvements for unsat cores. | Morgan Deters |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |