homepage: https://github.com/shnarazk/mios
changelog-type: ''
hash: 047b5337db8746af9ebea8ff95ff8406cad9545890655726200b26c345aba6dc
test-bench-deps: {}
maintainer: Shuji Narazaki <narazaki@nagasaki-u.ac.jp>
synopsis: A Minisat-based CDCL SAT solver in Haskell
changelog: ''
basic-deps:
  bytestring: ! '>=0.10'
  base: ! '>=4.10 && <5'
  ghc-prim: ! '>=0.5'
  mios: -any
  primitive: ! '>=0.6'
  vector: ! '>=0.12'
all-versions:
- '1.2.1'
- '1.3.0'
- '1.4.0'
- '1.5.4'
author: Shuji Narazaki <narazaki@nagasaki-u.ac.jp>
latest: '1.5.4'
description-type: haddock
description: ! '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''.

'
license-name: GPL-3

homepage: https://github.com/shnarazk/mios
changelog-type: ''
hash: ac617598a7a4c3dc6559f2215fcecd4fc724a2f3f49fddf37259e7b5d790b92e
test-bench-deps: {}
maintainer: narazaki@nagasaki-u.ac.jp
synopsis: A Minisat-based CDCL SAT solver in Haskell
changelog: ''
basic-deps:
  bytestring: ! '>=0.10'
  base: ! '>=4.7 && <5'
  ghc-prim: ! '>=0.5'
  mios: -any
  primitive: ! '>=0.6'
  vector: ! '>=0.12'
all-versions:
- '1.2.1'
- '1.3.0'
- '1.4.0'
- '1.5.4'
- '1.6.0'
author: Shuji Narazaki
latest: '1.6.0'
description-type: haddock
description: 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'.
license-name: GPL-3

Update from Hackage at 2017-12-20T00:52:30Z
Update from Hackage at 2017-12-20T00:52:30Z
