Schedule generation with Z3 - automatic schedule generation
A user should have the possibility to generate the optimal schedule when no platform/technical architecture is already decided.
(from redmine: issue id 1489, created on 2013-07-15, closed on 2014-07-25)
- Relations:
- relates #1342 (closed)