Transformation of a z3 API result into a af3 model
After having synthesized e.g. deployments, the results of the SMT solver has to be interpreted and transfomred back into an af3 model (e.g. af3 deployment). Futhermore the visualization e.g. spider chart has to be adapted, too.
(from redmine: issue id 2576, created on 2016-05-04, closed on 2017-11-28)
- Relations:
- parent #2515 (closed)