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
base >= 1.0.0, < 2.0.0
finite-map >= 0.0.1
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