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 ToPS can be found here: https://github.com/OpenTOSCA/ToPS/releases/tag/paper%2Fsolutionselectionandadaptation

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