Monadoc

sat-simple

Version 0.1.0.0 revision 0 uploaded by phadej.

Package meta

Synopsis
A high-level wrapper over minisat
Description

A high-level wrapper over minisat.

This package differs from ersatz 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.

Author
Oleg Grenrus <oleg.grenrus@iki.fi>
Bug reports
n/a
Category
Data
Copyright
2023 Oleg Grenrus
Homepage
n/a
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Package URL
n/a
Stability
n/a

Components