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