JarCasting
JarCasting JarCasting

Project Group: org.sosy-lab

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:
org.sosy-lab

java-smt

 org.sosy-lab : java-smt

Unified acccess layer to SMT solvers

Last Version: 3.12.0

Release Date:
org.sosy-lab

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:

javasmt-yices2

 org.sosy-lab : javasmt-yices2

JavaSMT bindings for the SMT solver Yices

Last Version: 3.12.0

Release Date:
org.sosy-lab

javasmt-solver-boolector

 org.sosy-lab : javasmt-solver-boolector

SMT solver Boolector for use in JavaSMT

Last Version: 3.2.2-gcc3a7091

Release Date:

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:
org.sosy-lab

java-common-lib

 org.sosy-lab : common

Library of common components for SoSy-Lab Projects

Last Version: 0.3000-502-gb581f5d

Release Date:
org.sosy-lab

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:
org.sosy-lab

SMTInterpol Solver

 org.sosy-lab : smtinterpol

SMTInterpol interpolating SMT solver

Last Version: 2.1-255-gcdd5908

Release Date:
org.sosy-lab

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:

  • 1