PV0 JavaSMTAPI for accessing SMT solvers in Java

Application domain/field

SMT solving

Type of tool

API

Internals

Uses Boolector, CVC4, CVC5, MathSAT5, OptiMathSAT, Princess, SMTInterpol, Yices2, Z3
Java Library SMT

Links

https://github.com/sosy-lab/java-smt

Related papers

https://doi.org/10.1007/978-3-030-81688-9_9

Last publication date

2021

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.