Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.