name: smt-lib version: 0.0.0 category: Language synopsis: Parsing and printing SMT-LIB. description: SMT-LIB (http://goedel.cs.uiowa.edu/smtlib/) is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities. author: Tom Hawkins maintainer: Tom Hawkins license: BSD3 license-file: LICENSE homepage: http://tomahawkins.org build-type: Simple cabal-version: >= 1.6 library build-depends: base >= 4.0 && < 5.0, polyparse >= 1.4 exposed-modules: Language.SMTLIB -- extensions: if impl(ghc > 6.8) ghc-options: -fwarn-tabs ghc-options: -W source-repository head type: git location: git://github.com/tomahawkins/smt-lib.git