2 Commits

Author	SHA1	Message	Date
bringert	e32472a9bb	Some performance improvements in the FA generation.	2005-12-22 23:16:15 +00:00
bringert	3d4200d3fe	Moved Graph and Relation stuff to separate modules. Added some QuickCheck properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.	2005-10-26 16:13:13 +00:00