adding better documentation to gecode and minizic solvers