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

The 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

GAPT: General Architecture for Proof Theory

A modular sat/smt solver with proof output.

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

Experimental minisat SAT solver reimplementation in Rust

A Header-Only CDCL SAT Solver for Programming Contest

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.

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