An advanced SAT solver
-
Updated
Feb 17, 2026 - C++
#
sat-solver
Here are 561 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
rust proof verification rust-lang formal-methods sat-solver minisat formal-verification sat automated-reasoning satisfiability deductive-reasoning
-
Updated
Jun 13, 2025 - Rust
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Oct 23, 2025 - C++
SRI Yices SMT Solver
-
Updated
Feb 19, 2026 - SMT
gophersat, a SAT solver in Go
constraint-satisfaction-problem artificial-intelligence constraints boolean-formulas sat-solver pseudo-boolean-solver
-
Updated
Jul 7, 2025 - Go
a Pythonic toolkit for working with Boolean expressions
python transformations boolean boolean-expression sat-solver boolean-algebra truth-table sat satisfiability
-
Updated
May 8, 2025 - Python
Access to all MiniZinc functionality directly from Python
python linear-programming constraint-programming sat-solver minizinc integer-programming optimisation-problem
-
Updated
Dec 15, 2025 - Python
My sandbox for experimenting with solver algorithms.
-
Updated
Jan 27, 2026 - Haskell
A fast SAT solver
testing resolution verification artificial-intelligence fuzzing concurrent logic-programming dependencies boolean-formulas sat-solver logic-circuit circuit-sat
-
Updated
Aug 26, 2021 - Go
Hua Zhong Ke Ji Da Xue Ji Suan Ji Ge Ren Zi Liao He Ji :Ke She /Shi Yan Bao Gao Deng . tag:Shu Dian Shi Yan Jiao Tong Deng ,C++Shi Yan Hua Wei ,CYu Yan Shi Yan ,Shu Ju Jie Gou Shi Yan ,Luo Gu Suan Fa Shi Yan ,SATShu Du Qiu Jie Qi ,Dian Lu Li Lun ,Java,Ji Suan Ji Xi Tong Ji Chu Shi Yan (CSAPP),Zu Yuan Shi Yan ,Ji Wang ,Ruan Jian Gong Cheng ,Cao Zuo Xi Tong , Han Shu Shi Bian Cheng ,Tou Ge
java experiment cpp data-structures hust sat-solver digital-circuit english-learning algorithms-and-data-structures curriculum-project
-
Updated
Jan 19, 2026 - C++
GAPT: General Architecture for Proof Theory
-
Updated
Dec 5, 2025 - Scala
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
-
Updated
Feb 25, 2026 - Rust
A modular sat/smt solver with proof output.
-
Updated
Jan 8, 2024 - OCaml
Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
A Header-Only CDCL SAT Solver for Programming Contest
-
Updated
Jan 30, 2026 - C++
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving
-
Updated
Jul 1, 2024 - Scala
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 ideas startup z3 formal-methods sat-solver entrepreneurship software-verification smt-solver research-paper formal-verification quantum-programming-language research-data research-software-engineering programming-language-theory ideasworthsharing
-
Updated
Aug 17, 2019
Improve this page
Add a description, image, and links to the sat-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sat-solver topic, visit your repo's landing page and select "manage topics."