An advanced SAT solver

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

Simple Theorem Prover, an efficient SMT solver for bitvectors

SRI Yices SMT Solver

gophersat, a SAT solver in Go

a Pythonic toolkit for working with Boolean expressions

Access to all MiniZinc functionality directly from Python

My sandbox for experimenting with solver algorithms.

A fast SAT solver

Go (golang) bindings to the Z3 SMT Solver

SAT solver written in Go (golang).

The glucose SAT solver

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

GAPT: General Architecture for Proof Theory

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

A modular sat/smt solver with proof output.

A Header-Only CDCL SAT Solver for Programming Contest

Experimental minisat SAT solver reimplementation in Rust

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

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.