Program
Verification
Book

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

Last commit date: 16 Nov 2022 (default branch)
Last commit date: 27 Nov 2022 (last activity)

Related papers

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

Last publication date

2021

ProVerB specific

Markdown description: view/edit
Reason for this entry: CAV 2021
Contained in the ProVerB22 dataset (paper + artefact)

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