CONstraint SOLving for Adaptive Systems: rewritten for architectural diversity controller and adaptation cost - View it on GitHub