java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Integration of OpenSMT2 into JavaSMT

Open kfriedberger opened this issue 5 years ago • 1 comments

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

kfriedberger avatar May 22 '19 07:05 kfriedberger

Project started in #162. Not yet finished. The solvers API seems to lack some required features.

kfriedberger avatar Nov 02 '19 10:11 kfriedberger

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.

kfriedberger avatar Oct 17 '23 18:10 kfriedberger