name: yices
version: 0.0.0.4
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
for further information on Yices.
category: Math
license: BSD3
license-file: LICENSE
author: Ki Yung Ahn
maintainer: Ki Yung Ahn
build-type: Simple
cabal-version: >=1.2
extra-source-files: Main.hs
data-files: README, ChangeLog
build-depends: base >= 2 && < 6, haskell98, process, parsec
exposed-modules: Math.SMT.Yices.Syntax,
Math.SMT.Yices.Parser,
Math.SMT.Yices.Pipe
ghc-options: -Wall