sat-simple: A high-level wrapper over minisat

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

A high-level wrapper over minisat.

This package differs from <code>ersatz</code> in few ways:

  • The interface resembles ST monad, with SAT monad and literals Lit are indexed by a scope s type argument.

  • sat-simple uses minisat's library in incremental way, instead of encoding to DIMACS format and spawning processes. (ersatz can be made to use minisat library as well, but it cannot use incrementality AFAICT).

  • sat-simple has less encodings built-in

  • sat-simple is hopefully is indeed simpler to use.

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.20), containers (>=0.6.0.1 && <0.7), minisat (>=0.1.3 && <0.2), unliftio-core (>=0.2.1.0 && <0.3) [details]
Tested with ghc ==8.6.5 || ==8.8.5 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.7 || ==9.6.3 || ==9.8.1
License BSD-3-Clause
Copyright 2023 Oleg Grenrus
Author Oleg Grenrus <oleg.grenrus@iki.fi>
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Category Data
Uploaded by phadej at 2023-10-17T16:09:06Z
Distributions NixOS:0.1.0.0
Downloads 52 total (0 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-10-17 [all 1 reports]