package.json 1.42 KB
Newer Older
1 2
{
    "name": "rewriting",
Michael Hanus 's avatar
Michael Hanus committed
3
    "version": "2.0.0",
Michael Hanus 's avatar
Michael Hanus committed
4
    "author": "Jan-Hendrik Matthes, Michael Hanus <mh@informatik.uni-kiel.de>",
5 6 7 8 9 10 11 12 13 14 15
    "maintainer": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "Libraries for term rewriting and narrowing",
    "description":
      "These libraries provide a representation of first-order terms
       and various notions of term rewriting, like position, substitution,
       unification, critical pairs, etc. Moreover, it defines also
       operations for rewriting and narrowing strategies and a
       representation of definitional trees.
       A previous version of these libraries were part of the
       PAKCS/KiCS2 distributions.",
    "category": [ "Rewriting", "Narrowing" ],
Michael Hanus 's avatar
Michael Hanus committed
16
    "dependencies": {
Michael Hanus 's avatar
Michael Hanus committed
17 18 19
        "base"          : ">= 1.0.0, < 2.0.0",
        "abstract-curry": ">= 2.0.0",
        "finite-map"    : ">= 0.0.1"
Michael Hanus 's avatar
Michael Hanus committed
20
    },
Michael Hanus 's avatar
Michael Hanus committed
21
    "compilerCompatibility": {
Michael Hanus 's avatar
Michael Hanus committed
22 23
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
Michael Hanus 's avatar
Michael Hanus committed
24
    },
Michael Hanus 's avatar
Michael Hanus committed
25 26 27 28 29 30 31 32 33 34 35 36
    "exportedModules": [
        "Rewriting.CriticalPairs", "Rewriting.Narrowing", "Rewriting.Strategy",
        "Rewriting.Unification", "Rewriting.DefinitionalTree",
        "Rewriting.Position", "Rewriting.Substitution",
        "Rewriting.UnificationSpec", "Rewriting.Files",
        "Rewriting.Rules", "Rewriting.Term"
    ],
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/rewriting.git",
        "tag": "$version"
    }
 }