Solution Selection and Topology Adaptation

This is the prototypical implementation of the paper submitted to the CLOSER 2019 with the title "An Approach to Determine & Apply Solutions to Solve Detected Problems in Restructured Deployment Models Using First-Order Logic"

The corresponding implementation in Winery can be found here: https://github.com/OpenTOSCA/winery/releases/tag/paper%2Fsolutionselectionandadaptation

Demo Video: https://youtu.be/nURXC56PoWU