CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
SRI 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
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
Approximate Model Counter
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
Boolean Constraint Solving in Prolog
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
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
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
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
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
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."
