Runtime Gecode Solver Backend for the Monadic Constraint Programming Framework