@hackage mios1.5.4

A Minisat-based CDCL SAT solver in Haskell

Categories
License
GPL-3.0-only
Maintainer
Shuji Narazaki <narazaki@nagasaki-u.ac.jp>
Links
Versions
- 1.6.2 Sun, 7 Oct 2018
- 1.6.0 Wed, 20 Dec 2017
- 1.5.4 Tue, 19 Dec 2017
- 1.4.0 Tue, 13 Sep 2016
- 1.3.0 Thu, 1 Sep 2016
- 1.2.1 Sun, 17 Jul 2016

Installation
In your cabal file:
Dependencies (5)
- base >=4.10 && <5
- bytestring >=0.10
- ghc-prim >=0.5
- primitive >=0.6
- vector >=0.12
Dependents (1)
@hackage/acme-everything

Package Flags

llvm

(off by default)

Compile with llvm

multiconflict

(off by default)

Build tools in MultiConflict

utils

(off by default)

Build misc utilities for developer

A modern and very fast SAT solver written in Haskell, using CDCL, watch literals, VSIDS, blocking-literals, phase saving, LBD, Glucose-like restart and so on. Mios is an abbreviation of 'Minisat-based Implementation and Optimization Study on SAT solver'.

@hackage mios1.5.4

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (1)

Package Flags