pySMT: A library for SMT formulae manipulation and solving
-
Updated
Mar 4, 2023 - Python
#
satisfiability-modulo-theories
Here are 23 public repositories matching this topic...
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
Jan 8, 2022
The Yices SMT Solver
-
Updated
Mar 22, 2023 - SMT
OCamlPro public development repository for Alt-Ergo
-
Updated
Mar 22, 2023 - OCaml
CoreIR Symbolic Analyzer
verilog
model-checking
satisfiability-modulo-theories
formal-methods
systemverilog
formal-verification
hardware-verification
-
Updated
Oct 27, 2020 - Python
SMT solver for the theory of floating-point arithmetic
-
Updated
Jan 30, 2018 - C++
EMME: ECMAScript Memory Model Evaluator
-
Updated
Apr 5, 2018 - Python
Very Large Scale Integration project for CDMO class at @unibo
-
Updated
Aug 31, 2021 - Python
A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.
-
Updated
Feb 24, 2021 - Python
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
Integration Property Language
-
Updated
Nov 1, 2018 - Xtend
-
Updated
Mar 5, 2018 - Shell
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
Jul 27, 2022 - C
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
-
Updated
Sep 30, 2021 - Python
My first SMT solver (only QF_UF)
satisfiability-modulo-theories
logic-programming
cnf
learning-by-doing
sat-solver
smt-solver
dpll
tseitin-transformation
cdcl
logical-reasoning
congruence-closure
backjumping
cdcl-t
sat-solving
qf-uf
diy-smt
-
Updated
Jul 8, 2020 - Haskell
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 CSP and SMT solution to the 2D orthogonal packing problem (2OPP)
university-project
constraint-satisfaction-problem
satisfiability-modulo-theories
constraint-programming
-
Updated
Apr 4, 2021 - Python
An application of constraint programming and satisfiability modulo theories to the NP-complete problem known as optimal rectangle packing
-
Updated
Dec 15, 2021 - Python
solving-satisfaction-problems-with-theorem-provers
ai
theorem-proving
artificial-intelligence
z3
satisfiability-modulo-theories
smt-solver
z3-smt-solver
-
Updated
Jun 21, 2020 - Python
metaSMT-Based SMT-LIB2 Consistency Checker
-
Updated
May 26, 2018 - C++
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."