Curry Package smtlib-solver

This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.

Detailed package documentation (available shortly after this version has been published)

---