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

• SMTInterpol (LGPL v3)

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

• 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