Project Group: org.sosy-lab

javasmt-solver-z3

org.sosy-lab : javasmt-solver-z3

SMT solver Z3 for use in JavaSMT

Last Version: 4.8.17

Release Date: May 10, 2022

java-smt

org.sosy-lab : java-smt

Unified acccess layer to SMT solvers

Last Version: 3.12.0

Release Date: Mar 13, 2022

javasmt-solver-mathsat5

org.sosy-lab : javasmt-solver-mathsat5

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT

Last Version: 5.6.6-sosy1

Release Date: Mar 13, 2022

javasmt-yices2

org.sosy-lab : javasmt-yices2

JavaSMT bindings for the SMT solver Yices

Last Version: 3.12.0

Release Date: Mar 13, 2022

javasmt-solver-boolector

org.sosy-lab : javasmt-solver-boolector

SMT solver Boolector for use in JavaSMT

Last Version: 3.2.2-gcc3a7091

Release Date: Dec 12, 2021

javasmt-solver-yices2

org.sosy-lab : javasmt-solver-yices2

SMT solver Yices for use in JavaSMT

Last Version: 2.6.2-396-g194350c1

Release Date: Sep 8, 2021

java-common-lib

org.sosy-lab : common

Library of common components for SoSy-Lab Projects

Last Version: 0.3000-502-gb581f5d

Release Date: Aug 28, 2021

javasmt-solver-cvc4

org.sosy-lab : javasmt-solver-cvc4

SMT solver CVC4 for use in JavaSMT

Last Version: 1.8-prerelease-2020-06-24-g7825d8f28

Release Date: Jan 23, 2021

SMTInterpol Solver

org.sosy-lab : smtinterpol

SMTInterpol interpolating SMT solver

Last Version: 2.1-255-gcdd5908

Release Date: Aug 16, 2016

Z3

org.sosy-lab : javasmt-solver-z3-native

Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.

Last Version: z3-4.4.1-788-g8df145d

Release Date: Mar 6, 2016