Towards Graphical Feedback in the DiMo Learning Tool

Title:Towards Graphical Feedback in the DiMo Learning Tool

Authors:Maurice Herwig, Norbert Hundeshagen and Martin Lange

Tags:formal modeling, graphical feedback, reductions and SAT-solving

Abstract:

In this talk we will present recent efforts on extending the DiMo specification language and the tool's capabilities for providing problem-specific (graphical) output. The tool is already present in FOMEO's list of presented tools.