name:                yices
version:             0.0.0.9
synopsis:            Haskell programming interface to Yices SMT solver
description:         Incomplete (no bitvectors) syntax, parser, and inter
                     process communication to Yices from Haskell through pipe.
                     Purpose for building and using this library was to generate
                     test cases from constraints that SMT solvers can solve.  I
                     only used it for that particular purpose, so the code in
                     general is not yet fully tested.  Use at your own risk and
                     error reports are welcomed. See <http://yices.csl.sri.com/>
                     for further information on Yices.
category:            Math
license:             BSD3
license-file:        LICENSE
author:              Ki Yung Ahn <kya@pdx.edu>
maintainer:          Ki Yung Ahn <kya@pdx.edu>
build-type:          Simple
extra-source-files:  Main.hs
data-files:          README, ChangeLog
build-depends:       base >= 4 && < 5, process, parsec,
                     template-haskell, th-lift
exposed-modules:     Math.SMT.Yices.Syntax,
                     Math.SMT.Yices.Parser,
                     Math.SMT.Yices.Pipe
ghc-options:         -Wall
ghc-prof-options:    -auto-all