Integration of java api for z3 solver
Integration of java api for z3 solver to be used for
- schedule generation
- deployment generation
- platform generation
(from redmine: issue id 2350, created on 2015-06-05, closed on 2016-03-21)
Integration of java api for z3 solver to be used for
- schedule generation
- deployment generation
(from redmine: issue id 2350, created on 2015-06-05, closed on 2016-03-21)