Initial checkin
Add score and singleton.
Add score and singleton.
Update caseequiv doc
Cleanup globals; introduce transforms; improve case-equiv docs.
Add transform table, and invariant set calculations.
Pickle file loaders, nosetests
remove unused code.
Loader test, with singletons.
Loader test, with singletons.
increase test coverage.
add branch coverage.
Correct invariant set calculation.
Add forgotten test code.
enumeration of distinct prefixes
Distinct prefix enumeration.
doc cleanup.
Further refinements on prefix enumeration.
change initial prefix to 2100
Add pymm-data as a submodule