Package Info

ghc-smtLib


A library for working with the SMTLIB format


Development/Libraries/Haskell

A library for working with the SMTLIB format.


License: BSD-3-Clause
URL: https://hackage.haskell.org/package/smtLib

Categories

Releases

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