smtlib: Implementation of the SMT-LIB standard for Curry

SMT-LIB is a common standard for interacting with SMT solvers. This package contains libraries to deal with SMT-LIB scripts, i.e., the input and output language of SMT solvers. The libraries provided by this package implement Version 2.6 of the SMT-LIB Standard (

The package currently includes: