lib:claferIG
Modules
- Language.Clafer.IG.AlloyIGInterface
- Language.Clafer.IG.ClaferIG
- Language.Clafer.IG.ClaferModel
- Language.Clafer.IG.CommandLine
- Language.Clafer.IG.CommandLineParser
- Language.Clafer.IG.Constraints
- Language.Clafer.IG.JSONGenerator
- Language.Clafer.IG.Process
- Language.Clafer.IG.Solution
- Language.Clafer.IG.Sugarer
Dependencies
- HaXml lib:HaXml >=1.25.3 && ==1.24
- array lib:array >=0.5.0.0
- base lib:base >=4.7.0.1 && <5
- clafer lib:clafer ==0.4.5
- containers lib:containers >=0.5.5.1
- data-stringmap lib:data-stringmap >=1.0.1.1
- directory lib:directory >=1.2.1.0
- executable-path lib:executable-path >=0.0.3
- filepath lib:filepath >=1.3.0.2
- haskeline lib:haskeline >=0.7.1.2
- json-builder lib:json-builder >=0.3
- mtl lib:mtl >=2.1.3.1
- mtl-compat lib:mtl-compat >=0.2.1
- parsec lib:parsec >=3.1.5
- process lib:process >=1.2.0.0
- string-conversions lib:string-conversions >=0.3.0.3
- transformers lib:transformers >=0.3.0.0
- transformers-compat lib:transformers-compat >=0.3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- claferIG exe:claferIG
- claferIG test:test-suite