smtlib-solver-0.0.1 ------------------- Version 0.0.1 Author Jan Rasmus Tikovsky Synopsis This package provides general operations for an interactive communication with SMT solvers via stdin and stdout. Category Verification Dependencies base >= 1.0.0, < 2.0.0 smtlib >= 0.0.1 wl-pprint >= 0.0.1 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Exported modules Solver.SMTLIB.Z3 Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/smtlib-solver.git@v0.0.1 License BSD-3-Clause License file LICENSE