An advanced SAT solver
-
Updated
Jul 21, 2026 - C++
#
sat-solver
Here are 624 public repositories matching this topic...
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
Apr 15, 2026 - Rust
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Jul 25, 2026 - C++
SRI Yices SMT Solver
-
Updated
Jul 23, 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
华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计算机系统基础实验(CSAPP)，组原实验，计网，软件工程，操作系统、函数式编程，头歌
java experiment cpp data-structures hust sat-solver digital-circuit english-learning algorithms-and-data-structures curriculum-project
-
Updated
Jun 19, 2026 - C++
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
Agent learns to become the worlds top expert on SAT
-
Updated
Jun 16, 2026 - Python
My sandbox for experimenting with solver algorithms.
-
Updated
Jul 21, 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
GAPT: General Architecture for Proof Theory
-
Updated
Jul 16, 2026 - Scala
A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat
-
Updated
Jul 21, 2026 - Rust
A modular sat/smt solver with proof output.
-
Updated
May 4, 2026 - OCaml
A Header-Only CDCL SAT Solver for Programming Contest
-
Updated
Jan 30, 2026 - C++
Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
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
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."