Projects in Awesome Lists tagged with satisfiability-modulo-theories
A curated list of projects in awesome lists tagged with satisfiability-modulo-theories .
https://github.com/pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
constraints formula python python-3 satisfiability-modulo-theories smt verification
Last synced: 15 May 2025
https://github.com/SRI-CSL/yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Last synced: 22 Apr 2025
https://github.com/sri-csl/yices2
The Yices SMT Solver
sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover
Last synced: 13 Apr 2025
https://github.com/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
Last synced: 21 Mar 2025
https://github.com/cristian-mattarei/CoSA
CoreIR Symbolic Analyzer
formal-methods formal-verification hardware-verification model-checking satisfiability-modulo-theories systemverilog verilog
Last synced: 14 Mar 2025
https://github.com/hriener/metasmt-toolbox-smt2eval
metaSMT-Based SMT-LIB2 Consistency Checker
binary-decision-diagrams formal-methods sat-solver satisfiability-modulo-theories
Last synced: 29 Mar 2025
https://github.com/sebsikora/pysmt_demos
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
python satisfiability-modulo-theories satisfiability-solver sudoku-solver
Last synced: 29 Mar 2025
