Repository navigation
verbose parameter #68
Description
Hi all,
I create this issue to discuss the verbose parameter.
I am feeding the solve command with the following arguments:
cp_inst.solve(timeout=time_limit,
processes=self.num_of_threads,
verbose=True,
debug_output=Path("./debug_output.txt", intermediate_solutions=True),
optimisation_level=2)
My purpose is to see the solver's progress report on-the-fly through the terminal. This feature is available when we use Minizinc through the terminal. However, I could not find a configuration for this purpose in the Python interface. For example, the above configuration outputs the progress report when the running process terminates.
Is there any configuration to represent the solver's progress report on-the-fly through the terminal?
Activity
Dekker1 commentedon Nov 10, 2022
The
verboseanddebug_outputarguments have been included mostly for finding problems when MiniZinc Python wasn't giving users the expected behaviour. It was not intended for polling the solver progress.This might be possible (I would think that we can directly output the
stderrstream into the log), but it would require some more engineering. The particular problem is that we could have to manage two streams at the same time, likely requiring the splitting of thesolutions()function implementation.This does not have a high priority for me, but I would be happy to accept pull request if the benefit can be clearly shown, and the implementation is of high quality.