parse file parses the constraint associated to file

print_model meta model file prints the model into the solution file associated to file. Universes are translated to terms via the meta rules.

solve env solves all the files parsed and returns a model as long as i, the number of universes needed. As postconditions, i >= env.minimum && i <= maximum. Moreover forall j < i, the solver did not found a solution.