Version 0.3.5.1-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
- HUnit lib:HUnit >=1.2.5.2
- HaXml lib:HaXml >=1.24
- QuickCheck lib:QuickCheck >=2.5.1.1
- array lib:array >=0.4.0.1
- base lib:base >=4.6.0.1 && <5
- clafer lib:clafer ==0.3.5.1
- cmdargs lib:cmdargs >=0.10.5
- containers lib:containers >=0.4.2.1
- data-stringmap lib:data-stringmap >=0.9.1
- directory lib:directory >=1.2.0.1
- executable-path lib:executable-path >=0.0.3
- filepath lib:filepath >=1.3.0.1
- haskeline lib:haskeline >=0.7.0.3
- json-builder lib:json-builder >=0.3
- mtl lib:mtl >=2.1.2
- parsec lib:parsec >=3.1.3
- process lib:process >=1.1.0.2
- string-conversions lib:string-conversions >=0.3
- test-framework lib:test-framework >=0.8
- test-framework-hunit lib:test-framework-hunit >=0.3.0
- test-framework-quickcheck2 lib:test-framework-quickcheck2 >=0.3.0.1
- test-framework-th lib:test-framework-th >=0.2.4
- transformers lib:transformers >=0.3.0.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- claferIG exe:claferIG
- claferIG test:test-suite