smtlib-3.0.0 ------------ Version 3.0.0 Author Jan Rasmus Tikovsky Maintainer Niels Bunkenburg 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