@hackage picosat0.1.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

picosat provides bindings for the fast PicoSAT solver library.

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/inferno-core