Package Info

ghc-simple-smt

install

A simple way to interact with an SMT solver process

Development/Libraries/Haskell
A simple way to interact with an SMT solver process.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/simple-smt

Categories

Development Libraries Haskell

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.7.0-bp150.2.4 info GA Release 2018-08-01 15
  • AArch64
  • ghc-simple-smt
  • ghc-simple-smt-devel
0.7.0-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-simple-smt
  • ghc-simple-smt-devel