package.json

{
  "name": "contract-prover",
    "version": "4.0.0",
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "A tool to verify contracts in FlatCurry programs",
    "category": [ "Optimization", "Verification" ],
    "license": "BSD-3-Clause",
    "licenseFile": "LICENSE",
    "dependencies": {
        "base"                    : ">= 3.0.0, < 4.0.0",
        "containers"              : ">= 3.0.0, < 4.0.0",
        "contracts"               : ">= 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"               : ">= 3.0.0, < 5.0.0",
        "flatcurry-smt"           : "^ 2.0.0",
        "flatcurry-annotated"     : ">= 3.3.0, < 4.0.0",
        "flatcurry-type-annotated": ">= 3.3.0, < 4.0.0",
        "io-extra"                : ">= 3.0.0, < 4.0.0",
        "process"                 : ">= 3.0.0, < 4.0.0",
        "read-legacy"             : ">= 3.0.0, < 4.0.0",
        "showflatcurry"           : ">= 3.0.0, < 4.0.0",
        "transformers"            : ">= 3.0.0, < 4.0.0",
        "wl-pprint"               : ">= 3.0.0, < 4.0.0"
    },
    "configModule": "PackageConfig",
    "executable": {
        "name": "curry-contracts",
        "main": "ContractProver"
    },
    "testsuite": {
        "src-dir": "examples",
        "script": "test.sh",
        "options": "-v"
    },
    "source": {
        "git": "https://github.com/curry-packages/contract-prover.git",
        "tag": "$version"
    }
}