{
    "type": "package",
    "name": "vicramgon/logicus",
    "summary": "Elm packages for working with Propositional and First Order Logic algorithms.",
    "license": "BSD-3-Clause",
    "version": "2.0.1",
    "exposed-modules": {
        "Propositional Logic": [
            "LogicUS.PL.SintaxSemantics",
            "LogicUS.PL.SemanticTableaux",
            "LogicUS.PL.NFC",
            "LogicUS.PL.DPLL",
            "LogicUS.PL.Resolution"
        ]
    },
    "elm-version": "0.19.1 <= v < 0.20.0",
    "dependencies": {
        "avh4/elm-fifo": "1.0.4 <= v < 2.0.0",
        "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/json": "1.1.3 <= v < 2.0.0",
        "elm/parser": "1.1.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-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"
    },
    "test-dependencies": {}
}