@hackage / sat-simple

A high-level wrapper over minisat

Latest0.1.0.0

About

Metadata

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

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

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.8.1
  2. 9.6.3
  3. 9.4.7
  4. 9.2.8
  5. 9.0.2
  6. 8.10.7
  7. 8.6.5

Readme

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.