{
    "name": "transbooleq",
    "version": "3.3.0",
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "A transformation tool to replace Boolean equalities by equational constraints",
    "category": [ "Analysis", "Optimization" ],
    "license": "BSD-3-Clause",
    "licenseFile": "LICENSE",
    "dependencies": {
        "base"         : ">= 3.0.0, < 4.0.0",
        "cass-analysis": ">= 5.0.0, < 6.0.0",
        "cass"         : ">= 5.0.0, < 6.0.0",
        "csv"          : ">= 3.0.0, < 4.0.0",
        "currypath"    : ">= 3.0.0, < 4.0.0",
        "directory"    : ">= 3.0.0, < 4.0.0",
        "filepath"     : ">= 3.0.0, < 4.0.0",
        "flatcurry"    : ">= 5.0.0, < 6.0.0",
        "process"      : ">= 3.0.0, < 4.0.0",
        "rw-data"      : ">= 1.0.0"
    },
    "executable": {
        "name": "curry-transbooleq",
        "main": "BindingOpt"
    },
    "testsuite": {
        "src-dir": "examples",
        "modules": [ "Expressions", "Grep", "Half", "Last", "Various" ]
    },
     "source": {
        "git": "https://github.com/curry-packages/transbooleq.git",
        "tag": "$version"
    }
}