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

The Yices SMT Solver

a Pythonic toolkit for working with Boolean expressions

Tools for working with circuits as graphs in python

The glucose SAT solver

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

Approximate Model Counter

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

The Standard Interface for Incremental Satisfiability Solving

Kiwi is a minimalist and extendable Constraint Programming (CP) solver.

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

Boolean Constraint Solving in Prolog

A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.

The first scalable probabilistic exact counter

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

A Free World Class High Performance SAT Solver

A simple SAT solver based on the CDCL algorithm