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: 31 Jan 2026

https://github.com/marcelwa/cegis

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

satisfiability-solver smt-solver synthesis z3

Last synced: 13 Sep 2025

https://github.com/roberthoenig/firstorderlogic.jl

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

first-order-logic julia logic satisfiability-solver

Last synced: 25 Apr 2025

https://github.com/ohadlev77/sat-circuits-engine

A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.

grovers-algorithm python qiskit quantum-circuit-synthesis quantum-computing satisfiability-solver

Last synced: 09 May 2025

https://github.com/schwering/sat

SAT solver for education

logic sat satisfiability satisfiability-solver

Last synced: 05 Mar 2026

https://github.com/ayberkt/resolution

A tiny implementation of logical resolution.

logic propositional-logic resolution satisfiability-solver

Last synced: 11 Apr 2025

https://github.com/sauravmaheshkar/sat-rs

A SAT solver written in Rust

rust satisfiability-solver

Last synced: 28 Feb 2026

https://github.com/ben-marshall/sat-solver

A simple combinatorial boolean sat solver based on the AC-3 Algorithm

ac-3 bison c sat-solver satisfiability satisfiability-solver yacc

Last synced: 22 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

https://github.com/yingjieqiao/satsolver

Boolean Satisfiability Problem Solver

satisfiability-solver satsolver

Last synced: 20 Apr 2026

https://github.com/komorra/satstreams

SATStreams SAT solving library and CLI solver

boolean-algebra boolean-logic cli cnf console-app console-application csharp dotnet library satisfiability satisfiability-solver satsolver z3

Last synced: 18 May 2026

https://github.com/kuanhungchen/spring-2020-applied-mathematical-logic

📈 Implementation of a SAT solver to solve satisfiability problems.

sat-solving satisfiability satisfiability-solver

Last synced: 30 Aug 2025

https://github.com/alinpahontu2912/sat-problem-reduction

algorithm-challenges satisfiability-solver

Last synced: 30 Jun 2025

https://github.com/silviatulli/single-machine-scheduling

software tool for solving a single machine scheduling (SMS) problem using a MiniZinc framework for constraint satisfaction problems (CSP)

constraints-programming machine-scheduling minizinc-framework optimization satisfiability-solver smt

Last synced: 11 Jun 2025