Commit 335e6931 authored by Michael Hanus 's avatar Michael Hanus
Browse files

dimacs/0.0.1 added

parent 99c841e5
{
"name": "dimacs",
"version": "0.0.1",
"author": "Sven Hueser, Michael Hanus <mh@informatik.uni-kiel.de>",
"maintainer": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "An interface to SAT solvers supporting DIMACS.",
"category": [ "Constraints", "Verification" ],
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
},
"exportedModules": [ "Dimacs.Types", "Dimacs.Build", "Dimacs.Solver" ],
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/dimacs.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