Package Info

ghc-puresat

install

Pure Haskell SAT-solver

Unspecified
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.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/puresat

Categories

Unspecified

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.1-bp160.1.11 info GA Release 2024-08-18 16.0
  • x86-64
  • ghc-puresat
  • ghc-puresat-devel
  • ghc-puresat-doc
  • ghc-puresat-prof