satisfiability-modulo-theories

There are 1 repository under satisfiability-modulo-theories topic.

pysmt / pysmt
pySMT: A library for SMT formulae manipulation and solving
satisfiability-modulo-theories python python-3 formula smt constraints verification
Language:Python 551
johnyf / tool_lists
Links to tools by subject
binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification
360
SRI-CSL / yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Language:SMT 354
OCamlPro / alt-ergo
OCamlPro public development repository for Alt-Ergo
satisfiability-modulo-theories
Language:OCaml 126
cristian-mattarei / CoSA
CoreIR Symbolic Analyzer
satisfiability-modulo-theories formal-verification formal-methods model-checking hardware-verification verilog systemverilog
Language:Python 60
UnitTestBot / ksmt
Kotlin/Java API for various SMT solvers
java kotlin satisfiability-modulo-theories smt smt-solver
Language:Kotlin 28
abenkhadra / gosat
SMT solver for the theory of floating-point arithmetic
smt-solver floating-point satisfiability-modulo-theories smt nlopt llvm
Language:C++ 25
elsoroka / Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
satisfiability-modulo-theories smt-lib
Language:Julia 22
FMJS / EMME
EMME: ECMAScript Memory Model Evaluator
emcascript javascript formal-methods formal-verification satisfiability-modulo-theories cvc4
Language:Python 6
EnricoPittini / Two-dimensional-strip-packing-problem
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.
constraint constraint-programming constraint-satisfaction-problem integer-linear-programming integer-programming optimization satisfiability satisfiability-modulo-theories
Language:Python 4
marcluque / YASER
Yet Another Sat solvER
smt smt-solver sat-solver sat theory-solver satisfiability formal-verification solver dpll-algorithm dpll-solver resolution-proof conflict-resolution cdcl-algorithm conflict-driven-clause-learning conflict-based-search first-order-logic propositional-logic propositional-resolution satisfiability-modulo-theories backtracking-search
Language:C 4
nicolodon / MCVRP
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
constraint-programming cvrp gurobipy minizinc minizinc-python mixed-integer-programming python3 satisfiability-modulo-theories z3-smt-solver
Language:Python 4
paultristanwagner / satisfiability-checking
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
java sat-solver smt-solver logic simplex branch-and-bound tseitin-transformation dpll cdcl eq lia equf cylindrical-algebraic-decomposition non-linear nra non-linear-optimization bitvector linear-integer-programming linear-programming satisfiability-modulo-theories
Language:Java 4
cavasalcai / Decentralized-Resource-Management
A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.
resource-management edge-computing decentralization satisfiability-modulo-theories
Language:Python 2
gmurro / VLSI
Very Large Scale Integration project for CDMO class at @unibo
constraint-programming sat satisfiability-modulo-theories satisfiability-solver vlsi-project
Language:Python 2
Lostefra / Present_Wrapping_Problem
CP, SAT and SMT implementation of the PWP
constraint-programming constraint-satisfaction-problem cp pwp sat satisfiability-modulo-theories smt
Language:Jupyter Notebook 2
bisc / IPL
Integration Property Language
verification modeling integration architecture prism satisfiability-modulo-theories aadl
Language:Xtend 1
bisc / IPLProjects
aadl architecture integration ipl modeling prism satisfiability-modulo-theories verification
Language:Shell 1
itnef / smtx
My first SMT solver (only QF_UF)
learning-by-doing smt-solver backjumping cnf tseitin-transformation logic-programming sat-solver sat-solving satisfiability-modulo-theories logical-reasoning dpll cdcl cdcl-t congruence-closure qf-uf diy-smt
Language:Haskell 1
MatthiasNickles / Satalyzer
A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers
answer-set-programming constraint-programming json-data loganalyzer logging sat sat-solver satisfiability satisfiability-modulo-theories satisfiability-solver
Language:Scala 1
sebsikora / pysmt_demos
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
satisfiability-modulo-theories satisfiability-solver sudoku-solver python
Language:Python 1
enricomors / cdmo_vlsi
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
boolean-satisfiability constraint-programming minizinc mixed-integer-programming satisfiability-modulo-theories vlsi z3
Language:Jupyter Notebook 0
frallebini / optimal-rectangle-packing
An application of constraint programming and satisfiability modulo theories to the NP-complete problem known as optimal rectangle packing
constraint-programming satisfiability-modulo-theories rectangle-packing
Language:Python 0
ratioSolver / SeMiTONE
Satisfiability Modulo TheOries NEtwork (SeMiTONE)
satisfiability-modulo-theories
Language:C++ 0
EmreOzkose / solving-satisfaction-problems-with-theorem-provers
solving-satisfaction-problems-with-theorem-provers
satisfiability-modulo-theories theorem-proving z3-smt-solver z3 smt-solver artificial-intelligence ai
Language:Python
hriener / metaSMT-toolbox-smt2eval
metaSMT-Based SMT-LIB2 Consistency Checker
satisfiability-modulo-theories sat-solver binary-decision-diagrams formal-methods
Language:C++
pierclgr / Present-Wrapping-Problem
A CSP and SMT solution to the 2D orthogonal packing problem (2OPP)
constraint-programming constraint-satisfaction-problem satisfiability-modulo-theories university-project
Language:Python