Ready-Mixed Concrete solver for the Constraint Programming lecture exercise