homepage: https://github.com/plsyssec/haskell-boolector
changelog-type: ''
hash: f497e83bc8cefde101b1f4610db73bee03a55b8d62c6d470563983dd81d15ab8
test-bench-deps:
  base: ! '>=4.7 && <5'
  boolector: -any
maintainer: Deian Stefan <deian@cs.ucsd.edu>
synopsis: Haskell bindings for the Boolector SMT solver
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  containers: -any
  mtl: -any
all-versions:
- '0.0.0.1'
- '0.0.0.2'
author: Dein Stefan, Johannes Waldmann, Armin Biere
latest: '0.0.0.2'
description-type: haddock
description: ! 'This library provides a high-level, monadic DSL for writing symbolic

  computations atop the Boolector SMT solver (<https://github.com/Boolector/boolector>).


  The API and its description is defined in the "Boolector" module.


  Several examples can be found at: <https://github.com/PLSysSec/haskell-boolector/tree/master/test>'
license-name: MIT

homepage: https://github.com/plsyssec/haskell-boolector
changelog-type: ''
hash: c141e1938e35090de9467db13b51c09ba12cf4c481f3c9bdb78948d4770c74da
test-bench-deps:
  base: ! '>=4.7 && <5'
  boolector: -any
maintainer: Deian Stefan <deian@cs.ucsd.edu>
synopsis: Haskell bindings for the Boolector SMT solver
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  containers: -any
  mtl: -any
  temporary: -any
  directory: -any
all-versions:
- '0.0.0.1'
- '0.0.0.2'
- '0.0.0.3'
author: Dein Stefan, Johannes Waldmann, Armin Biere
latest: '0.0.0.3'
description-type: haddock
description: ! 'This library provides a high-level, monadic DSL for writing symbolic

  computations atop the Boolector SMT solver (<https://github.com/Boolector/boolector>).


  The API and its description is defined in the "Boolector" module.


  Several examples can be found at: <https://github.com/PLSysSec/haskell-boolector/tree/master/test>'
license-name: MIT

Update from Hackage at 2018-07-07T03:49:09Z
Update from Hackage at 2018-07-07T03:49:09Z
