Commit 4a2bd8b1 authored by Michael Hanus 's avatar Michael Hanus
Browse files

smtlib-solver/0.0.1 added

parent 3367946b
{
"name": "smtlib-solver",
"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": [ "Programming" ],
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
"base": ">= 1.0.0, < 2.0.0",
"smtlib": ">= 0.0.1",
"wl-pprint": ">= 0.0.1"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
"kics2": ">= 2.0.0"
},
"exportedModules": ["Solver.SMTLIB.Z3"],
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/smtlib-solver.git",
"tag": "$version"
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment