{   "type": "package",
    "name":"vicramgon/logicus",
    "summary" : "Elm packages for working with Propositional and First Order Logic algorithms.",
    "license":"BSD-3-Clause",
    "version" : "1.0.0",
    "exposed-modules": {
        "Propositional Logic" : [
            "LogicUS.PL.SintaxSemantics",
            "LogicUS.PL.SemanticTableaux",
            "LogicUS.PL.NormalFormsClauses",
            "LogicUS.PL.DavisPutnamLogemannLovelan",
            "LogicUS.PL.ResolutionStrategies"
        ]
        },
    "elm-version": "0.19.1 <= v < 0.20.0",
    "dependencies": {
            "elm/browser": "1.0.2 <= v < 2.0.0",
            "elm/core": "1.0.5 <= v < 2.0.0",
            "elm/html": "1.0.0 <= v < 2.0.0",
            "elm/parser": "1.1.0 <= v < 2.0.0",
            "elm-community/graph": "6.0.0 <= v < 7.0.0",
            "elm-community/intdict": "3.0.0 <= v < 4.0.0",
            "elm-community/list-extra": "8.3.0 <= v < 9.0.0",
            "elm-community/string-extra": "4.0.1 <= v < 5.0.0",
            "avh4/elm-fifo": "1.0.4 <= v < 2.0.0",
            "elm/json": "1.1.3 <= v < 2.0.0",
            "elm/random": "1.0.0 <= v < 2.0.0",
            "elm/regex": "1.0.0 <= v < 2.0.0",
            "elm/time": "1.0.0 <= v < 2.0.0",
            "elm/url": "1.0.0 <= v < 2.0.0",
            "elm/virtual-dom": "1.0.2 <= v < 2.0.0",
            "elm-explorations/test": "1.2.2 <= v < 2.0.0"
    },
    "test-dependencies": {}
}