smtlib-solver-0.0.1
-------------------
Version      0.0.1
Author       Jan Rasmus Tikovsky <jrt@informatik.uni-kiel.de>
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