LGEN - Lambda GENeralization

Learning clauses from positive-only examples by searching a lambda-generalization graph
(See readme.txt for more information)