Creating learning or examination assignments is a re-occurring activity in the context of teaching. In particular new examination assignments are often desired for each season of teaching a course. In our teaching, we have observed that our creation of assignments for software engineering formalisms uses certain intuitive constraints to obtain assignments at a designated level of difficulty and, eg, with particular properties to be analysed in the assignment.

In this work, we present an approach where we formalise our (formerly intuitive) constraints and use constraint solving tools to automatically synthesise learning assignments that satisfy these constraints. In our approach we leverage the fact that our software engineering course teaches the majority of software description languages fully formal. That is, an artefact using such a software description language is then a mathematical object for which we can give precise constraints. We demonstrate our approach on the example of learning and examination assignments for the notion of determinism on decision table and discuss applications of our assignments synthesis procedure.