An on-the-fly partition/refinement based learning library.
A Partition Refinement Based Learning-library