Home » org.sosy-lab

Group: SoSy Lab
Sort by:Popular▼

1.JavaSMT Solver Z312 usages

org.sosy-lab » javasmt-solver-z3 MIT

SMT solver Z3 for use in JavaSMT
Last Release on Mar 31, 2026

2.Java SMT11 usages

org.sosy-lab » java-smt Apache

Unified acccess layer to SMT solvers
Last Release on Apr 2, 2026

3.Java Common Library4 usages

org.sosy-lab » common Apache

Library of common components for SoSy-Lab Projects
Last Release on Oct 12, 2024

4.JavaSMT Solver Bitwuzla2 usages

org.sosy-lab » javasmt-solver-bitwuzla MIT

SMT solver Bitwuzla for use in JavaSMT
Last Release on Mar 31, 2026

5.JavaSMT Solver CVC42 usages

org.sosy-lab » javasmt-solver-cvc4 BSD

SMT solver CVC4 for use in JavaSMT
Last Release on Apr 9, 2026

6.JavaSMT Solver CVC52 usages

org.sosy-lab » javasmt-solver-cvc5 BSD

SMT solver CVC5 for use in JavaSMT
Last Release on Apr 11, 2026

7.JavaSMT Solver OpenSMT2 usages

org.sosy-lab » javasmt-solver-opensmt MIT

SMT solver OpenSMT for use in JavaSMT
Last Release on Mar 31, 2026

8.JavaSMT Yices22 usages

org.sosy-lab » javasmt-yices2 Apache +1

JavaSMT bindings for the SMT solver Yices
Last Release on Apr 12, 2026

9.JavaSMT Solver Mathsat1 usages

org.sosy-lab » javasmt-solver-mathsat Apache +1

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Last Release on May 4, 2026

10.JavaSMT Solver Yices21 usages

org.sosy-lab » javasmt-solver-yices2 Apache +1

SMT solver Yices for use in JavaSMT
Last Release on Apr 12, 2026

11.JavaSMT Solver Z31 usages

org.sosy-lab » javasmt-solver-z3-legacy MIT

SMT solver Z3 (legacy version with interpolation) for use in JavaSMT
Last Release on Mar 31, 2026

12.JavaSMT Solver Mathsat52 usages

org.sosy-lab » javasmt-solver-mathsat5 Apache +1

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Last Release on Mar 23, 2025

13.JavaSMT Solver Boolector1 usages

org.sosy-lab » javasmt-solver-boolector MIT

SMT solver Boolector for use in JavaSMT
Last Release on Jan 29, 2022

14.Z31 usages

org.sosy-lab » javasmt-solver-z3-native MIT

Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.
Last Release on Mar 6, 2016

15.SMTInterpol Solver1 usages

org.sosy-lab » smtinterpol LGPL

SMTInterpol interpolating SMT solver
Last Release on Aug 16, 2016