Hackage :: [Package]

puresat: Pure Haskell SAT-solver

[ bsd3, data, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

library puresat

Modules

  • Control
    • Monad
      • Control.Monad.SAT
  • PureSAT

library puresat:dimacs

Modules

  • PureSAT
    • PureSAT.DIMACS

library puresat:internal

Modules

  • PureSAT
    • PureSAT.Assert
    • PureSAT.Base
    • PureSAT.Boost
    • PureSAT.Clause2
    • PureSAT.LBool
    • PureSAT.LCG
    • PureSAT.Level
    • PureSAT.LitSet
    • PureSAT.LitTable
    • PureSAT.LitVar
    • PureSAT.Main
    • PureSAT.PartialAssignment
    • PureSAT.Prim
    • PureSAT.Satisfied
    • PureSAT.SparseMaxHeap
    • PureSAT.SparseSet
    • PureSAT.Stats
    • PureSAT.Trail
    • PureSAT.Utils
    • PureSAT.VarSet
    • PureSAT.Vec

Flags

Manual Flags

NameDescriptionDefault
exe

Build executable

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1
Change log CHANGELOG.md
Dependencies base (>=4.18.2.1 && <4.21), bytestring (>=0.11.5.3 && <0.12 || >=0.12.1.0 && <0.13), containers (>=0.6.7 && <0.8), optparse-applicative (>=0.18.1.0 && <0.19), parsec (>=3.1.16.1 && <3.2), primitive (>=0.9.0.0 && <0.10), puresat [details]
Tested with ghc ==9.6.6 || ==9.8.2 || ==9.10.1
License BSD-3-Clause
Copyright (c) 2024 Oleg Grenrus
Author Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Category Data
Home page https://github.com/phadej/puresat
Source repo head: git clone https://github.com/phadej/puresat
Uploaded by phadej at 2024-08-18T16:19:51Z
Distributions NixOS:0.1, openSUSE:0.1
Reverse Dependencies 1 direct, 12 indirect [details]
Executables puresat
Downloads 50 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2024-08-18 [all 2 reports]