sounds indeed interesting. can you elaborate on what information your DSL expresses ? is there a solver which calculates the actual metrics?