summaryrefslogtreecommitdiff
path: root/yices-easy.cabal
blob: 74b137fd9fdd061909189b433cb9af9132372b2a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
name:                yices-easy
version:             0.1
license:             BSD3
license-file:        LICENSE
synopsis:            Simple interface to the Yices SMT (SAT modulo theories) solver.
category:            Math, Algorithms, Theorem Provers
author:              Keegan McAllister <mcallister.keegan@gmail.com>
maintainer:          Keegan McAllister <mcallister.keegan@gmail.com>
homepage:            http://www.ugcs.caltech.edu/~keegan/haskell/yices-easy/
build-type:          Simple
cabal-version:       >=1.2
description:
  This library provides a simple interface to Yices, an SMT solver available
  from <http://yices.csl.sri.com/>.
  .
  It uses the Yices C API, which you will need to have installed.  The API is
  not installed on the Hackage server, so you may need to download this package
  in order to read its documentation.  Sorry.
  .

  The core functionality is provided by modules @Types@ and @Run@, and
  re-exported by @Yices.Easy@.  Module @Sugar@ provides optional syntactic
  sugar, and @Build@ provides optional monadic bookkeeping.
  .
  The library aims for simplicity, and not all features of Yices are supported.
  Suggestions and patches are welcome.
extra-source-files:
    examples/latin.hs
  , examples/graph-color.hs

library
  exposed-modules:  
      Yices.Easy
    , Yices.Easy.Types
    , Yices.Easy.Run
    , Yices.Easy.Sugar
    , Yices.Easy.Build
  ghc-options:       -Wall
  build-depends:
      base           >= 3 && < 5
    , containers     >= 0.3
    , transformers   >= 0.2
    , bindings-yices >= 0.2