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
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
The Standard Interface for Incremental Satisfiability Solving
A simple SAT solver that implements the DPLL algorithm with unit resolution
Boolean Constraint Solving in Prolog
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
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
Add a description, image, and links to the satisfiability topic page so that developers can more easily learn about it.
To associate your repository with the satisfiability topic, visit your repo's landing page and select "manage topics."