3 Commits

Author	SHA1	Message	Date
Florian Stecker	68bc766f92	bugs in transitive reduction?	2016-10-29 14:47:55 +02:00
Florian Stecker	5bcb30b5c1	some cleanup -> sent to david dumas	2016-10-14 18:49:20 +02:00
Florian Stecker	a17c6fb06e	Generate + Process	2016-07-26 10:09:34 +02:00