clafer-0.4.5: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Language.Clafer.Generator.Choco
Description
Generates JS representation of IR for the Chocosolver.
Synopsis
genCModule :: (IModule, GEnv) -> [(UID, Integer)] -> [Token] -> Result Source #
Choco 3 code generation