{
    "type": "package",
    "name": "vicramgon/logicus",
    "summary": "Elm packages for working with Propositional and First Order Logic algorithms.",
    "license": "BSD-3-Clause",
    "version": "7.1.0",
    "exposed-modules": {
        "Propositional Logic": [
            "LogicUS.PL.SintaxSemantics",
            "LogicUS.PL.SemanticTableaux",
            "LogicUS.PL.NormalForms",
            "LogicUS.PL.Clauses",
            "LogicUS.PL.DPLL",
            "LogicUS.PL.Resolution",
            "LogicUS.PL.CSP"
        ],
        "First Order Logic": [
            "LogicUS.FOL.SintaxSemantics",
            "LogicUS.FOL.SemanticTableaux",
            "LogicUS.FOL.NormalForms",
            "LogicUS.FOL.Clauses",
            "LogicUS.FOL.Herbrand",
            "LogicUS.FOL.Unification",
            "LogicUS.FOL.Resolution"
        ]
    },
    "elm-version": "0.19.1 <= v < 0.20.0",
    "dependencies": {
        "elm/core": "1.0.5 <= 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/maybe-extra": "5.2.0 <= v < 6.0.0",
        "elm-community/string-extra": "4.0.1 <= v < 5.0.0"
    },
    "test-dependencies": {}
}