EUREEKA knowledge store, inference engine and scripts

See the manual.pdf file in the package root directory for details on the 
module installation, configuration and use.

For details on the theory that is being implemented by EUREEKA, see the
pre-print of Vit Novacek's PhD thesis available at:

http://140.203.154.209/~vit/resources/2010/pubs/phd-thesis.pdf

Also, should you have any questions or comments, feel free to contact the
author at:

vit.novacek@deri.org

