projman #18191 parametrized scheduling generation in the gui [resolved]

It should be possible to generate the scheduling from the GUI. Also, we don't want to generate the scheduling on loading the project, since some projects are too hard to schedule. The scheduling should be parametrized (maximum search time, maximum number of solutions).

appeared in<not specified>
done in0.14.0
load left0.000
closed by<not specified>