clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
Language.Clafer.Generator.Python
Description
Generates JS representation of IR for the Chocosolver.
Synopsis
genPythonModule :: (IModule, GEnv) -> [(UID, Integer)] -> Result Source
Choco 3 code generation