JavaSMT - Unified Java API for SMT solvers.
☆232Apr 9, 2026Updated this week
Alternatives and similar repositories for java-smt
Users that are interested in java-smt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SMTInterpol interpolating SMT solver☆71Mar 24, 2026Updated 2 weeks ago
- SoSy-Lab Java Common Library☆14Apr 5, 2026Updated last week
- Collection of Verification Tasks (MOVED, please follow the link)☆189Oct 28, 2021Updated 4 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆253Updated this week
- The Ultimate program analysis framework.☆240Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆281Mar 12, 2026Updated last month
- Static checker for Java☆87Jan 16, 2025Updated last year
- Symbolic PathFinder☆169Feb 26, 2026Updated last month
- TurnKey artifact for Z3☆43Oct 27, 2025Updated 5 months ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,277Updated this week
- pySMT: A library for SMT formulae manipulation and solving