sat-simple: A high-level wrapper over minisat
A high-level wrapper over minisat.
This package differs from <code>ersatz</code> in few ways:
The interface resembles
ST
monad, withSAT
monad and literalsLit
are indexed by a scopes
type argument.sat-simple
usesminisat
's library in incremental way, instead of encoding to DIMACS format and spawning processes. (ersatz
can be made to useminisat
library as well, but it cannot use incrementality AFAICT).sat-simple
has less encodings built-insat-simple
is hopefully is indeed simpler to use.
Downloads
- sat-simple-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 (4 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] |