Version 0.4.0-0 of claferIG is deprecated.
The latest version of claferIG is 0.4.5-0.
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.1.0
- base lib:base >=4.8.0.0 && <5
- clafer lib:clafer ==0.4.0
- containers lib:containers >=0.5.6.2
- data-stringmap lib:data-stringmap >=1.0.1.1
- directory lib:directory >=1.2.2.0
- executable-path lib:executable-path >=0.0.3
- filepath lib:filepath >=1.4.0.0
- haskeline lib:haskeline >=0.7.2.1
- json-builder lib:json-builder >=0.3
- mtl lib:mtl >=2.2.1
- parsec lib:parsec >=3.1.9
- process lib:process >=1.2.3.0
- string-conversions lib:string-conversions >=0.4
- transformers lib:transformers >=0.4.2.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- claferIG exe:claferIG
- claferIG test:test-suite