Scheduling with Z3 - Generate schedules for distributed resources
A user should be able to generate schedules with Z3 for platforms that contain distributed resources i.e. resources that can process at most one task/component at the time.
(from redmine: issue id 1486, created on 2013-07-15, closed on 2013-07-25)
- Relations:
- relates #1342 (closed)