@hackage mios1.2.1

A Minisat-based SAT solver in Haskell

Categories
License
GPL-3.0-only
Maintainer
Shuji Narazaki <narazaki@nagasaki-u.ac.jp>
Links
- Homepage
- Documentation
- No source repository
- Security
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 (6)
- base >=4.9 && <4.10
- bytestring >=0.10
- containers >=0.5
- ghc-prim >=0.5
- primitive >=0.6
- vector >=0.11
Dependents (1)
@hackage/acme-everything

Package Flags

llvm

(off by default)

Compile with llvm

A modern and fast SAT solver written in Haskell, based on Minisat-1.14 and 2.2. By using CDCL, watch literals, VSIDS, restart, blocking-literals, LBD and so on, the current version is only 1.8 time slower than Minisat-1.14. Mios is an abbreviation of Minisat-based Implementation and Optimization Study on SAT solver.

@hackage mios1.2.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (6)

Dependents (1)

Package Flags