The Minerule inductive database system

A detailed guide about how to install the system as well as other documentation can be found in the wiki.