smtlib-3.0.0
------------
Version      3.0.0
Author       Jan Rasmus Tikovsky <jrt@informatik.uni-kiel.de>
Maintainer   Niels Bunkenburg <nbu@informatik.uni-kiel.de>
Synopsis     Implementation of the SMT-LIB standard for Curry
Category     Verification
Dependencies
    base >= 3.0.0,  < 4.0.0
    containers >= 3.0.0,  < 4.0.0
    directory >= 3.0.0,  < 4.0.0
    filepath >= 3.0.0,  < 4.0.0
    time >= 3.0.0,  < 4.0.0
    wl-pprint >= 3.0.0,  < 4.0.0
Description
    This package includes libraries to represent SMT-LIB scripts in Curry. It
    provides an abstract representation of the SMT-LIB standard v2.6 as well as
    libraries for parsing and pretty printing.
Exported modules
    Language.SMTLIB Language.SMTLIB.Files Language.SMTLIB.Goodies
    Language.SMTLIB.Parser Language.SMTLIB.Pretty Language.SMTLIB.Scanner
    Language.SMTLIB.Types
Source
    Git https://github.com/curry-packages/smtlib.git@v3.0.0
License
    BSD-3-Clause
License file
    LICENSE