KeY Theorem Prover for Deductive Java Verification
-
Updated
Aug 22, 2026 - Java
#
smt-solver
Here are 9 public repositories matching this topic...
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
java simplex logic linear-programming bitvector satisfiability-modulo-theories non-linear sat-solver smt-solver lia branch-and-bound dpll non-linear-optimization eq tseitin-transformation linear-integer-programming cdcl nra cylindrical-algebraic-decomposition equf
-
Updated
Jun 19, 2026 - Java
uran: A small engine for creating formulas accepted by SMT solver.
-
Updated
Apr 29, 2024 - Java
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
-
Updated
Jul 3, 2024 - Java
simple java API for interaction with SMT solvers using SMT-LIB
-
Updated
Feb 16, 2017 - Java
-
Updated
Aug 29, 2022 - Java
A collection various program synthesizers built using Java
-
Updated
Dec 1, 2024 - Java
Java implementation of a SMT solver for theory of equality, theory of list and theory of array without extentionality.
-
Updated
Jan 31, 2025 - Java
Production-ready decision procedure solver implementing congruence closure for satisfiability checking in the union of first-order theories (Equality, Lists, Arrays). Based on Bradley & Manna algorithms with 571 passing tests.
java lists equality arrays smt-solver formal-verification automated-reasoning satisfiability congruence-closure theory-solver decision-procedures bradley-manna university-verona
-
Updated
Jan 31, 2026 - Java
Improve this page
Add a description, image, and links to the smt-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt-solver topic, visit your repo's landing page and select "manage topics."