Module Language.SMTLIB

Implementation of the SMT-LIB language for Curry

The implementation is based on the SMT-LIB Standard 2.6 (http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf) and covers most parts of the language description.

Author: Jan Tikovsky

Version: December 2017

Summary of exported operations:

Exported operations: