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