Language.SMTLIB
Language.SMTLIB.Files
Language.SMTLIB.Goodies
Language.SMTLIB.Parser
Language.SMTLIB.Pretty
Language.SMTLIB.Scanner
Language.SMTLIB.Types
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.
Detailed package documentation (available shortly after this version has been published)