Efficient Deployment Generation
Implementation of YICES code for finding an efficient deployment, w.r.t. certain system properties
(from redmine: issue id 724, created on 2012-03-15, closed on 2013-08-05)
- Relations:
- child #910 (closed)
- child #1009 (closed)
- child #1293 (closed)