clafer-0.4.2.1: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, 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