Projects in Awesome Lists tagged with sat-solver
A curated list of projects in awesome lists tagged with sat-solver .
https://github.com/msoos/cryptominisat
An advanced SAT solver
cdcl-algorithm cnf cryptography dpll proof sat-solver verification xor
Last synced: 03 Apr 2026
https://github.com/sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification
Last synced: 09 May 2025
https://github.com/stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
cnf cryptography sat-solver smt symbolic-execution verification
Last synced: 09 Jul 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: 26 Jan 2026
https://github.com/crillab/gophersat
gophersat, a SAT solver in Go
artificial-intelligence boolean-formulas constraint-satisfaction-problem constraints pseudo-boolean-solver sat-solver
Last synced: 04 Feb 2026
https://github.com/welchbj/tt
a Pythonic toolkit for working with Boolean expressions
boolean boolean-algebra boolean-expression python sat sat-solver satisfiability transformations truth-table
Last synced: 16 Sep 2025
https://github.com/msakai/toysolver
My sandbox for experimenting with solver algorithms.
algorithms mathematical-programming sat-solver smt-solver theorem-prover
Last synced: 16 May 2025
https://github.com/go-air/gini
A fast SAT solver
artificial-intelligence boolean-formulas circuit-sat concurrent dependencies fuzzing logic-circuit logic-programming resolution sat-solver testing verification
Last synced: 16 Jan 2026
https://github.com/minizinc/minizinc-python
Access to all MiniZinc functionality directly from Python
constraint-programming integer-programming linear-programming minizinc optimisation-problem python sat-solver
Last synced: 05 Apr 2025
https://github.com/MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
constraint-programming integer-programming linear-programming minizinc optimisation-problem python sat-solver
Last synced: 19 Jul 2025
https://github.com/gbury/msat
A modular sat/smt solver with proof output.
clause formal-methods formula modular ocaml sat-solver smt-solver solver
Last synced: 22 Apr 2025
https://github.com/gapt/gapt
GAPT: General Architecture for Proof Theory
herbrand-disjunction proof proofs sat-solver scala tactics theorem-proving
Last synced: 10 Jan 2026
https://github.com/mishun/minisat-rust
Experimental minisat SAT solver reimplementation in Rust
cnf minisat np-complete rust sat-solver
Last synced: 09 May 2025
https://github.com/shnarazk/splr
A modern CDCL SAT solver in Rust
cdcl nix-flake rust sat-solver satisfiability
Last synced: 13 Apr 2025
https://github.com/satyendrabanjare/plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq entrepreneurship formal-methods formal-verification ideas ideasworthsharing programming-language-theory quantum-programming-language research-data research-paper research-software-engineering sat-solver smt-solver software-verification startup z3
Last synced: 25 Oct 2025
https://github.com/togatoga/screwsat
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
competitive-programming math rust sat sat-solver
Last synced: 09 May 2025
https://github.com/minizinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
constraint-programming integer-programming javascript linear-programming minizinc nodejs optimisation-problem sat-solver typescript-definitions webassembly
Last synced: 07 Apr 2025
https://github.com/c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
drat minisat proof-generating rust sat-solver sat-solver-bindings
Last synced: 06 Apr 2025
https://github.com/c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
cdcl-t congruence-closure formal-methods functor prover sat-solver smt-solver
Last synced: 22 Aug 2025
https://github.com/irfansharif/solver
SAT solver library in Go; wraps around Google's Operational Research Tools
constraint-programming optimization sat-solver
Last synced: 17 Jun 2025
https://github.com/maxtuno/slime-sat-solver
A Free World Class High Performance SAT Solver
cnf cnf-clauses cnf-encoding sat sat-solver satisfiability
Last synced: 08 Oct 2025
https://github.com/fm4se/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
alloy alloy-analyzer dafny dafny-language formal-methods limboole nuxmv sat-solver smt-solver smt2 smv spectra spectra-synthesizer syntech z3
Last synced: 04 Mar 2026
https://github.com/acorrenson/saturne
Tiny verified SAT-solver
coq formal-verification hacktoberfest sat sat-solver
Last synced: 09 Jul 2025
https://github.com/sdiehl/haskell-picosat
Haskell bindings for PicoSAT solver
haskell haskell-library logic logic-programming picosat picosat-solver sat-solver
Last synced: 16 Jul 2025
https://github.com/sdiehl/picologic
Symbolic logic expressions
haskell haskell-library logic picosat sat-solver
Last synced: 11 Jul 2025
https://github.com/nano-byte/sat-solver
DPLL boolean satisfiability solver for .NET
boolean-formulas dotnet dpll sat-solver
Last synced: 26 Feb 2026
https://github.com/flopp/alcazar-gen
SAT-based generator for Alcazar puzzles
generator minisat puzzle sat-solver
Last synced: 10 Apr 2025
https://github.com/acorrenson/modulus
A constraint solver built from scratch in OCaml
hacktoberfest logic logic-programming sat sat-solver smt smt-lib smt-solver solver solvers theories
Last synced: 09 Jul 2025
https://github.com/limo1996/sat-solver
Parallel SAT Solver
cdcl-algorithm dpll-algorithm high-performance-computing mpi parallel-computing sat sat-solver
Last synced: 09 Apr 2025
https://github.com/minizinc/minizinc-playground
MiniZinc playground using WebAssembly
constraint-programming integer-programming linear-programming minizinc optimisation-problem sat-solver
Last synced: 12 May 2025
https://github.com/krobelus/rate
DRAT/DPR proof checker
proof-checker rust sat-solver verification
Last synced: 17 Mar 2025
https://github.com/zbendefy/opencl-satsolver
Brute force sat solver in OpenCL
gpgpu gpu java opencl opencl-satsolver sat-solver solver
Last synced: 22 Apr 2025
https://github.com/kraks/sat.rkt
A simple SAT solver based on DPLL written in Racket.
Last synced: 13 Feb 2026
https://github.com/dirkschumacher/nodepicosat
SAT solver PicoSAT for javascript
logic logic-programming node-module picosat picosat-solver sat-solver
Last synced: 15 May 2025
https://github.com/erohkohl/n-queens-sat
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
constraint-programming constraint-satisfaction-problem dpll-algorithm n-queens rust rust-lang sat-solver tdd
Last synced: 09 May 2025
https://github.com/equaeghe/ecyglpki
Cython GLPK interface
cython glpk graph-algorithms linear-programming mixed-integer-programming python sat-solver
Last synced: 25 Jan 2026
https://github.com/timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
binary-decision-diagrams boolean-satisfiability np-complete sat-solver
Last synced: 23 Feb 2026
https://github.com/ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
Last synced: 29 Oct 2025
https://github.com/virb3/z3-wasm
Run Z3 entirely in your browser using WebAssembly
browser sat-solver smt2 static wasm z3
Last synced: 23 Feb 2025
https://github.com/setanarut/coll
2d collision library for Go
2d-collision 2d-collision-checker 2d-collision-library aabb axis-aligned-bounding-box collision-detection collision-resolution dda-algorithm ebiten ebitengine game-development go golang golang-package intersection sat-solver sweep-line sweep-line-algorithm tilemap-collision
Last synced: 21 Jan 2026
https://github.com/dirkschumacher/rpicosat
PicoSAT bindings for R
logic logic-programming picosat r sat sat-solver satisfiability
Last synced: 15 May 2025
https://github.com/catoverflow/robdd
All-in-one proposition to ROBDD constructor, featured by LALR parsing
Last synced: 18 Jul 2025
https://github.com/computational-problem-solving/sat
:satisfied: Boolean formula satisfiability algorithms for JavaScript
agpl algorithms computer-science javascript k-sat np-complete reductions sat-solver sat0w
Last synced: 12 Dec 2025
https://github.com/se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
alloy alloy-analyzer formal-methods limboole nuxmv sat-solver smt-solver smt2 smv spectra spectra-synthesizer syntech z3
Last synced: 10 Mar 2025
https://github.com/sofianedjerbi/nonogramsolver
Solving Nonograms with SAT solvers
logic nonogram nonogram-solver python sat sat-solver solver
Last synced: 26 Oct 2025
https://github.com/styczynski/go-sat-solver
SAT solver written in Go (based on Minisat)
Last synced: 05 Mar 2025
https://github.com/j-christl/dpllsatsolver
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
algorithm algorithms discrete-mathematics dpll dpll-algorithm java math mathematics sat-solver
Last synced: 02 Aug 2025
https://github.com/lip6/cosy
cosy esbp sat sat-solver satisfiability sbp symmetry symmetry-breaking symmetry-reduction
Last synced: 11 Apr 2025
https://github.com/francoisschwarzentruber/tools-for-teaching-logic
A list of tools for teaching logic
education educational-project list logic logic-programming modal-logic model-checking multi-agent-systems proof-systems sat-solver
Last synced: 06 Feb 2026
https://github.com/d3lph1/boollet
Boolean algebra toolkit for PHP
boolean-algebra normal-forms sat sat-solver truth-table zhegalkin-polynomial
Last synced: 17 Mar 2026
https://github.com/negarhonarvar/sat-optimized-solver
an SAT problem solver optimized with simulated annealing and genetics algorithm
genetic-algorithm sat-solver simulated-annealing-algorithm
Last synced: 23 Apr 2025
https://github.com/msakai/bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
adversarial-examples binarized-neural-networks maxsat maxsat-solver milp mip mixed-integer-linear-programming mixed-integer-programming sat-solver
Last synced: 05 Feb 2026
https://github.com/enzet/awesome-solving
SAT and SMT solving.
awesome-list cdcl dpll sat-solver smt-solver
Last synced: 18 Jun 2026
https://github.com/musadiqpasha/flowfree-solver
This Python bot is an automated solver for the popular puzzle game Flow Free. Leveraging the power of the Z3 constraint solver, the bot intelligently solves Flow Free puzzles by strategically connecting matching-colored pipes without any user input.
freeflow game pyautogui pydirectinput python3 sat-solver solver z3
Last synced: 07 Oct 2025
https://github.com/robbepop/cnf-parser
Efficient and customizable CNF parser for SAT solving.
Last synced: 27 Dec 2025
https://github.com/flopp/gol-sat
A SAT-based forward/backwards solver for Conway's "Game of Life".
conways-game-of-life game-of-life gameoflife minisat sat sat-solver satisfiability
Last synced: 15 Mar 2025
https://github.com/martingms/ersatz
A simple, small, work in progress SAT-solver, written in ANSI C
Last synced: 03 Jan 2026
https://github.com/elben/sat
SAT solver assistant. Converts propositions (p ^ q) ==> CNF ==> DIMACS CNF files.
Last synced: 07 Sep 2025
https://github.com/sbeyer/commonsat
a common C++11 SAT solver interface for different SAT solvers
c-plus-plus c-plus-plus-11 cpp cpp-library cpp11 formula header-only library sat sat-solver satsolver
Last synced: 05 Feb 2026
https://github.com/vaibhavkarve/normal-form
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)
clause cnf logic python3 sat sat-solver
Last synced: 14 Jan 2026
https://github.com/solhop/rsat
SAT Solver
cdcl sat sat-solver satifiability sls unsat
Last synced: 30 Dec 2025
https://github.com/lorenzinco/colombinisat
A complete 3-SAT solver with polynomial time euristic.
Last synced: 06 Oct 2025
https://github.com/shnarazk/sat-bench
A benchmark suit for SAT solvers
benchmarking matrix-org nix-flake rust sat-solver
Last synced: 02 Jan 2026
https://github.com/shnarazk/sudoku_sat
Solving Sudoku variants with SAT solvers
rust sat-solver satisfiability sudoku
Last synced: 11 Oct 2025
https://github.com/acorrenson/neutron
A Coq-certified preprocessor for boolean logic formulae
logic logic-programming sat sat-solver solvers
Last synced: 14 Mar 2025
https://github.com/wadaboa/randomkcnfsolver
Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI
cnf-clauses propositional-logic random sat-solver walksat-algorithm
Last synced: 13 Mar 2025
https://github.com/sauravbhattacharya001/ocaml-sample-code
150+ OCaml implementations: data structures, algorithms, interpreters, theorem provers, neural networks, distributed systems, and more
algorithms compiler computer-science concurrent-programming data-structures distributed-systems functional-programming graph-algorithms interpreters learning machine-learning neural-network ocaml parser-combinators red-black-tree regex-engine sat-solver theorem-prover trie type-inference
Last synced: 28 Apr 2026
https://github.com/Lorenzinco/colombiniSAT
A complete 3-SAT solver with polynomial time euristic.
Last synced: 09 May 2025
https://github.com/curtisfenner/cnf-solver
A small CNF-SAT solver implementing simple conflict driven clause learning (CDCL) and a simple branching heuristic.
Last synced: 28 Mar 2025
https://github.com/shnarazk/SAT-bench
A benchmark suit for SAT solvers
benchmarking matrix-org nix-flake rust sat-solver
Last synced: 09 May 2025
https://github.com/tortis/elm-sat
A simple DPLL SAT solver in Elm
dpll-algorithm elm elm-lang sat sat-solver
Last synced: 04 Sep 2025
https://github.com/snsinfu/dpll-sat
Naïve SAT solver implementing the classic DPLL algorithm
dpll-algorithm learning sat-solver
Last synced: 07 Feb 2026
https://github.com/kaleidophon/shiny-robot
Analyzing how the spatial distribution of given number in a sudoku influences the difficulty for a SAT solver.
Last synced: 02 Apr 2025
https://github.com/vasilisp/pub
My academic publications
cyber-physical-systems databases formal-methods functional-programming mathematical-programming ocaml sat-solver smt-solver
Last synced: 15 May 2026
https://github.com/vasilisp/pb-sat
SAT-based Pseudo-Boolean Solver
common-lisp formal-methods integer-linear-programming mathematical-programming pseudo-boolean-solver sat-solver
Last synced: 12 Jan 2026
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/contriboss/pubgrub-go
A comprehensive Go implementation of the PubGrub version solving algorithm with CDCL, semantic versioning, and enhanced error reporting
cdcl dependency-resolution golang package-manager pubgrub sat-solver semver version-solving
Last synced: 16 Jan 2026
https://github.com/jrcalgo/knowlej-graph
Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization
ai-system knowledge-graph library logical-reasoning machine-learning-optimization neo4j-database propositional-logic sat-solver
Last synced: 21 Sep 2025
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/40uf411/genetic-algorithm-sat-problem
SAT solver using java. Implementing few strategies like elitism, tournament, dynamic crossover andmore.
chart crossover evolution genetic-algorithm genetic-optimization-algorithm genetic-programming mutation real-time sat sat-solver selection
Last synced: 30 Jun 2025
https://github.com/hadar301/sat_algorithms-
algorithm belief-propagation sat sat-solver survey-propagation warning-propagation
Last synced: 20 Jan 2026
https://github.com/masoudhashemi/satreeverify
Verifying decision tree ensembles using propositional satisfiability
adversarial-attacks ensemble-model machine-learning propositional-logic sat-solver
Last synced: 24 Mar 2025
https://github.com/julius-boettger/propsolve
Easily describe and solve propositional formulas
programming-language sat-solver
Last synced: 30 May 2026
https://github.com/razvalex/sudokusat
Sudoku Solver using SAT Solver for Structural Complexity Course
c-sharp sat-solver sudoku-solver
Last synced: 28 Mar 2026
https://github.com/mrandl/satsolver
A toy functional and parallel SAT solver implementation in Scala
dotty functional-programming sat-solver scala
Last synced: 14 Jun 2025
https://github.com/msoos/sat_competition_2014_sources
SAT Competition 2014 Source Archives
cdcl formal-verification sat-solver
Last synced: 25 Feb 2026
https://github.com/maxbrheinl/sat-solver
Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.
cnf dpll-algorithm logical-programming prolog sat-solver
Last synced: 09 Feb 2026
