puresat

Pure Haskell SAT-solver

LTS Haskell 24.40:	0.1
Stackage Nightly 2026-05-16:	0.1.0.1
Latest on Hackage:	0.1.0.1

See all snapshots puresat appears in

BSD-3-Clause licensed and maintained by Oleg Grenrus

This version can be pinned in stack with:puresat-0.1.0.1@sha256:4481263d8cebca7ad3c3f0792474c42629972764c4012bb5b13dd988a870ecd6,10665

Module documentation for 0.1.0.1

Control
- Control.Monad
  - Control.Monad.SAT
PureSAT

Depends on 3 packages(full list with versions):

base, containers, puresat

Used by 1 package in nightly-2026-05-16(full list with versions):

puresat

SAT Solver implemented in Haskell.

PureSAT uses DPLL with non-chronological backtracking and learning of binaary clauses. Solver is in no-comparison to the state of the art solvers, but it's fast enough to solve sudoku.

Changes

0.1

Initial release