Commit abe2f8e1 authored by Michael Hanus 's avatar Michael Hanus
Browse files

clpfd-smt/0.0.2 added

parent ce639312
{
"name": "clpfd-smt",
"version": "0.0.2",
"author": "Sven Hueser",
"maintainer": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "Libraries for finite-domain constraints implemented with SMT/SAT",
"category": [ "Constraints" ],
"dependencies": {
"dimacs": ">= 0.0.1"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/clpfd-smt.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