the Minerule inductive database system A detailed guide about how to install the system can be found in the wiki. Links to the manual.
