1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
name: simple-smt
version: 0.9.1
synopsis: A simple way to interact with an SMT solver process.
description: A simple way to interact with an SMT solver process.
license: BSD3
license-file: LICENSE
author: Iavor S. Diatchki
maintainer: iavor.diatchki@gmail.com
category: Math
build-type: Simple
cabal-version: >=1.10
extra-source-files: CHANGES
library
exposed-modules: SimpleSMT
other-extensions: Safe, RecordWildCards
build-depends: base >=4.7 && <10,
process
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/yav/simple-smt
|