An advanced SAT solver

• UpdatedOct 4, 2025
• C++

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

• UpdatedJun 13, 2025
• Rust

Simple Theorem Prover, an efficient SMT solver for bitvectors

• UpdatedOct 23, 2025
• C++

SRI Yices SMT Solver

• UpdatedSep 3, 2025
• SMT

gophersat, a SAT solver in Go

• UpdatedJul 7, 2025
• Go

a Pythonic toolkit for working with Boolean expressions

• UpdatedMay 8, 2025
• Python

Access to all MiniZinc functionality directly from Python

• UpdatedOct 27, 2025
• Python

My sandbox for experimenting with solver algorithms.

• UpdatedMay 25, 2025
• Haskell

A fast SAT solver

• UpdatedAug 26, 2021
• Go

Go (golang) bindings to the Z3 SMT Solver

• UpdatedJul 16, 2022
• Go

SAT solver written in Go (golang).

• UpdatedMar 3, 2017
• Go

The glucose SAT solver

• UpdatedJun 11, 2025
• C++

GAPT: General Architecture for Proof Theory

• UpdatedOct 31, 2025
• Scala

A modular sat/smt solver with proof output.

• UpdatedJan 8, 2024
• OCaml

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

• UpdatedJun 27, 2025
• Rust

华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计基实验，组原实验，计网，软件工程，函数式编程，头歌

• UpdatedOct 31, 2025
• C++

Experimental minisat SAT solver reimplementation in Rust

• UpdatedAug 10, 2019
• Rust

A Header-Only CDCL SAT Solver for Programming Contest

• UpdatedOct 2, 2019
• C++

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

• UpdatedJul 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.

• UpdatedAug 17, 2019