@hackage / puresat

Pure Haskell SAT-solver

Latest0.1

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause

  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.10.1
  2. 9.8.2
  3. 9.6.6

Package Flags

Use the -f option with cabal commands to enable flags

    exe (off by default)

    Build executable

Readme

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.