Computer Laboratory - Matej Urbas

Diabelli

...a framework for heterogeneous reasoning.

Diabelli's sources are available online as a Git repository:

https://github.com/urbas/diabelli