homepage: ''
changelog-type: ''
hash: c22f456c2fec92e1d8bdb0792eb06e71430e7cf6dfd22a1608e921392539f07f
test-bench-deps:
  base: ! '>=4.7 && <5'
  boolector: -any
maintainer: 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'
author: Dein Stefan, Johannes Waldmann, Armin Biere
latest: '0.0.0.1'
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: 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

Update from Hackage at 2018-07-03T06:28:56Z
Update from Hackage at 2018-07-03T06:28:56Z
