File: simple-smt.cabal

package info (click to toggle)
haskell-simple-smt 0.9.1-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 84 kB
  • sloc: haskell: 571; makefile: 4
file content (24 lines) | stat: -rw-r--r-- 736 bytes parent folder | download
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