puresat

Pure Haskell SAT-solver

Stackage Nightly 2025-05-28:	0.1
Latest on Hackage:	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@sha256:9b342d4e781e95e1b3716e88e308249dcc8f653a9310801a00fc021f8838a8d5,10715

Module documentation for 0.1

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

Depends on 4 packages(full list with versions):

base, containers, optparse-applicative, puresat

Used by 2 packages in nightly-2025-05-28(full list with versions):

puresat, spdx

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