java-smt
java-smt copied to clipboard
Integration of OpenSMT2 into JavaSMT
OpenSMT2 supports interpolation (for some theories). A description how to compile OpenSMT2 can be found on their websites.
A student (from GSoC) will be working on the integration into JavaSMT. There are some milestones and steps set by the student (not yet publicly available): https://trello.com/b/7L0m3IZo/javasmt-integrate-smt-solvers
Project started in #162. Not yet finished. The solvers API seems to lack some required features.
A student integrated OpenSMT into JavaSMT with #302, and this was finished with #334. The PR #162 is outdated and was closed.
OpenSMT has still a few corner cases where improvements need to be done. However, the overall situation is acceptable.
Currently, we provide OpenSMT in version 2.5.2 with JavaSMT. A release of JavaSMT will be provided soon.