monadiccp-0.6.1: Constraint Programming
Control.CP.FD.Gecode.Translate
generate_gecode :: Tree CodegenSolver a -> StringSource