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