DiMo - Discrete Modelling Using Propositional Logic

Norbert Hundeshagen, Martin Lange, Georg Siebert

Abstract: We present a learning tool that addresses competences in using propositional logic for modelling purposes. It provides a language for specifying parametrised propositional formula schemes, a backend tool using an incremental SAT solver to exemplify instances of such a scheme to a user learning how to write correct propositional formulas, and a web-based frontend for easy access.