CanonicalIterator 
Provides an iterator on all syntactically equivalent knowledge bases.

CnfSampler 
A simple sampler for propositional belief bases.

ContensionSampler 
Generates random propositional belief base with a given
inconsistency measure (for the contension inconsistency measure)
and of a given size.

EnumeratingIterator 

HsSampler 
Generates random propositional belief base with a given
inconsistency measure (for the Hs inconsistency measure)
and of a given size.

MiSampler 
Generates random propositional belief base with a given
inconsistency measure (for the MI inconsistency measure)
and of a given size.

RandomSampler 

RandomSatSampler 
A sampler for uniform random kSAT instances.

SyntacticEnumeratingIterator 
Generates all syntactic variations of knowledge bases

SyntacticRandomSampler 
This sampler implements a random generation algorithm for generating formulas, based on
the syntax tree of propositional formulas.

TextfileIterator 
Enumerates all belief bases from a text file; the file contains one
belief base per line.
