Learning to Solve SMT Formulas Fast
☆92Jun 17, 2024Updated 2 years ago
Alternatives and similar repositories for fastsmt
Users that are interested in fastsmt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated last week
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated 2 months ago
- ☆17Jan 5, 2022Updated 4 years ago
- ☆19May 29, 2026Updated 5 months ago
- SRI Yices SMT Solver☆487Oct 22, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- A model-based API Fuzzer for SMT Solvers.☆16Oct 21, 2026Updated last week
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆359Aug 23, 2024Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆143Updated this week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,385Updated this week
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- pySMT: A library for SMT formulae manipulation and solving☆641Oct 6, 2026Updated 3 weeks ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆51Jul 8, 2021Updated 5 years ago
- ☆21May 11, 2023Updated 3 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 months ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Rewrite Rule Inference Using Equality Saturation☆158Sep 11, 2026Updated last month
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆39Apr 17, 2019Updated 7 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- ☆14Dec 31, 2024Updated last year
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An approximate solver for concolic execution☆22Apr 29, 2025Updated last year
- The Z3-Noodler String Solver☆34Updated this week
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- An SMT Solver for string constraints☆56Oct 18, 2026Updated last week
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 3 years ago
- A fuzzing framework for SMT solvers☆200Aug 19, 2026Updated 2 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆407Updated this week