sat-solver

An advanced SAT solver

Simple Theorem Prover, an efficient SMT solver for bitvectors

gophersat, a SAT solver in Go

The Yices SMT Solver

A fast SAT solver

My sandbox for experimenting with solver algorithms.

SAT solver written in Go (golang).

Go (golang) bindings to the Z3 SMT Solver

A modular sat/smt solver with proof output.

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

GAPT: General Architecture for Proof Theory

Access to all MiniZinc functionality directly from Python

Experimental minisat SAT solver reimplementation in Rust

A Header-Only CDCL SAT Solver for Programming Contest

SAT and Answer Set solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic SAT solving, Weighted SAT solving, Probabilistic Answer Set Programming, Distribution-aware model sampling, Multi-models optimization ::::::

A SAT solver written in Haskell.

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

Logic Programming in Python

A modern CDCL SAT solver in Rust

A simple SAT solver that implements the DPLL algorithm with unit resolution

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

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.

A (parametrized) Rust SAT solver originally based on MiniSat

Problem solving à la carte

A fast and certifying solver for quantified Boolean formulas.

Haskell bindings for PicoSAT solver

A Free World Class High Performance SAT Solver

An ocaml implementation of conflict-driven reasoning

SAT solver library in Go; wraps around Google's Operational Research Tools

Tiny verified SAT-solver