Age | Commit message (Expand) | Author |
---|---|---|
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 |