Curry Package 'smtlib'

API documentation

Package metadata:

smtlib-0.0.1
------------
Version      0.0.1
Author       Jan Rasmus Tikovsky <jrt@informatik.uni-kiel.de>
Synopsis     Implementation of the SMT-LIB standard for Curry
Category     Verification
Dependencies
    wl-pprint >= 0.0.1
Compiler compatibility
    pakcs >= 2.0.0
    kics2 >= 2.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://git.ps.informatik.uni-kiel.de/curry-packages/smtlib.git@v0.0.1
License
    BSD-3-Clause
License file
    LICENSE