pySMT: A library for SMT formulae manipulation and solving
- Updated
Sep 5, 2025 - Python
#
satisfiability-modulo-theories
Here are 34 public repositories matching this topic...
SRI Yices SMT Solver
- Updated
Sep 3, 2025 - SMT
Links to tools by subject
tools static-analysis theorem-proving verification proof-assistant smtlib synthesis satisfiability-solver binary-decision-diagrams model-checking satisfiability-modulo-theories formal-methods theorem-prover
- Updated
Mar 19, 2024
OCamlPro public development repository for Alt-Ergo
- Updated
Sep 9, 2025 - OCaml
CoreIR Symbolic Analyzer
verilog model-checking satisfiability-modulo-theories formal-methods systemverilog formal-verification hardware-verification
- Updated
Oct 27, 2020 - Python
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
- Updated
Sep 2, 2025 - Julia
Kotlin/Java API for various SMT solvers
- Updated
Sep 25, 2025 - Kotlin
SMT solver for the theory of floating-point arithmetic
- Updated
Jan 30, 2018 - C++
EMME: ECMAScript Memory Model Evaluator
- Updated
Apr 5, 2018 - Python
Database Freedom Platform - Mathematical search optimization for whatever database you already have. 27,000x faster than vector databases with SMT-powered search across 8+ database types. One-time 9-2999 vs 00-500/month recurring.
go golang ai sqlite artificial-intelligence document satisfiability-modulo-theories smt optimization-algorithms z3-smt-solver fts5 document-search privacy-first rag z3-solver context-engine retrieval-augmented-generation vector-database-alternative
- Updated
Sep 18, 2025 - Go
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
python3 satisfiability-modulo-theories constraint-programming minizinc cvrp mixed-integer-programming z3-smt-solver gurobipy minizinc-python
- Updated
Sep 13, 2022 - Python
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
Feb 9, 2025 - Java
Solving the two-dimensional strip packing problem, using several combinatorial decision making and optimization approaches: Constraint Programming, Boolean SATisfiability, Satisfiability Modulo Theory; Integer Linear Programming.
optimization constraint-satisfaction-problem constraint satisfiability-modulo-theories constraint-programming integer-programming satisfiability integer-linear-programming
- Updated
Sep 4, 2022 - Python
A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.
- Updated
Feb 24, 2021 - Python
Very Large Scale Integration project for CDMO class at @unibo
- Updated
Aug 31, 2021 - Python
Yet Another Sat solvER
conflict-resolution solver first-order-logic satisfiability-modulo-theories sat-solver cdcl-algorithm propositional-logic smt smt-solver formal-verification sat backtracking-search resolution-proof satisfiability dpll-algorithm propositional-resolution conflict-based-search conflict-driven-clause-learning dpll-solver theory-solver
- Updated
Oct 6, 2025 - C++
CP, SAT and SMT implementation of the PWP
constraint-satisfaction-problem satisfiability-modulo-theories constraint-programming smt cp sat pwp
- Updated
Jun 6, 2021 - Jupyter Notebook
Refactor of dLinear4 https://github.com/martinjos/dlinear4
- Updated
Dec 4, 2024 - C++
Comparative benchmark of SMT solver effectiveness in cryptographic hash collision discovery for SHA-2 algorithms.
cryptography cryptanalysis research sha2 satisfiability-modulo-theories research-project smt research-paper blackbox-algorithm satisfiability-problem differential-cryptanalysis
- Updated
Aug 6, 2025 - Rust
Integration Property Language
- Updated
Nov 1, 2018 - Xtend
Improve this page
Add a description, image, and links to the satisfiability-modulo-theories topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the satisfiability-modulo-theories topic, visit your repo's landing page and select "manage topics."