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

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

A verifier for Factorio blueprints, enabling one to automatically check logical properties

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.

Solve hard constraints easily with Rust.

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

Daniel's Rusty SAT solver

Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization

SAT solving with Rust

SAT Solver

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

A complete 3-SAT solver with polynomial time euristic.

A library for incremental CDCL SAT solving written for skill and research

A crossword solver backed by various SAT solvers

MaxSAT Solver

SAT and MaxSAT Solver

Solves monochromatic nonograms, powered by Rust and Z3

CDCL SAT Solver

Types for SolHOP

SAT-solver-based takuzu solver