pySMT: A library for SMT formulae manipulation and solving
-
Updated
Oct 6, 2026 - Python
#
satisfiability-modulo-theories
Here are 36 public repositories matching this topic...
SRI Yices SMT Solver
-
Updated
Oct 20, 2026 - 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
Oct 8, 2026 - 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
Jun 22, 2026 - Julia
Kotlin/Java API for various SMT solvers
-
Updated
Aug 11, 2026 - Kotlin
SMT solver for the theory of floating-point arithmetic
-
Updated
Jan 30, 2018 - C++
SMT-encodable GPT-2 variant with formal guarantees
-
Updated
Jul 29, 2026 - Python
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
EMME: ECMAScript Memory Model Evaluator
-
Updated
Apr 5, 2018 - Python
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
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 18, 2026 - C++
A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.
-
Updated
Feb 24, 2021 - Python
Traffic-Rule-Compliant Trajectory Repair Using Satisfiability Solving and Reachability Analysis.
-
Updated
Oct 8, 2025 - Python
Very Large Scale Integration project for CDMO class at @unibo
-
Updated
Aug 31, 2021 - Python
Refactor of dLinear4 https://github.com/martinjos/dlinear4
-
Updated
Apr 26, 2026 - C++
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
-
Updated
Sep 30, 2021 - Python
metaSMT-Based SMT-LIB2 Consistency Checker
-
Updated
May 26, 2018 - 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
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."