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

Dependencies added

parent 4a2bd8b1
......@@ -8,6 +8,7 @@
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
"base" : ">= 1.0.0, < 2.0.0",
"abstract-curry": ">= 2.0.0",
"det-parse" : ">= 0.0.1",
"opt-parse" : ">= 0.0.3",
......
......@@ -5,6 +5,7 @@
"synopsis": "A transformation tool to replace Boolean equalities by equational constraints",
"category": [ "Analysis", "Optimization" ],
"dependencies": {
"base" : ">= 1.0.0, < 2.0.0",
"cass-analysis": ">= 2.0.0",
"cass" : ">= 2.0.0",
"csv" : ">= 1.0.0",
......
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