@hackage picosat0.1.0.2

Bindings to the PicoSAT solver

Categories
License
MIT
Maintainer
stephen.m.diehl@gmail.com
Links
Versions
- 0.1.6 Mon, 30 Dec 2019
- 0.1.5 Tue, 20 Nov 2018
- 0.1.4 Tue, 3 Jan 2017
- 0.1.3 Sat, 11 Jul 2015
- 0.1.2 Fri, 31 Oct 2014
- 0.1.1 Thu, 7 Aug 2014

Installation
In your cabal file:
Dependencies (1)
- base >=4.6 && <4.7
Dependents (3)
@hackage/acme-everything, @hackage/inferno-core, @hackage/picologic

picosat provides bindings for the fast PicoSAT solver library.