Diabelli
...a framework for heterogeneous reasoning.
Diabelli's sources are available online as a Git repository:
https://github.com/urbas/diabelli
