/jconstraints-smtinterpol

jConstraints abstraction layer for the SMTInterpol solver

Primary LanguageJavaApache License 2.0Apache-2.0

jConstraints-smtinterpol

jConstraints-smtinterpol is a plugin for jConstraints, adding SMTInterpol as a constraint solver.

Dependencies

SMTInterpol is not distributed along with jconstraints-smtinterpol, but is available for download at Uni Freiburg

Building and Installing

  • Download SMTInterpol
  • You must install the smtinterpol.jar.
# mvn install:install-file -Dfile=smtinterpol.jar -DgroupId=de.uni_freiburg.informatik.ultimate -DartifactId=smtinterpol -Dversion=2.0 -Dpackaging=jar
  • In the jConstraints-smtinterpol folder, run mvn install
  • If the compilation was successful, the jConstraints-smtinterpol plugin can be found in the JAR file target/jconstraints-smtinterpol-[VERSION].jar