0000000000000000000000000000000000000000 183a35c4c516ef814e142d849b289af441f65e14 Silvan Sievers <silvan.sievers@unibas.ch> 1589380723 +0200	WIP on sw_mt_invarsynt_main: fa0c8fc26 Added ordered debug output after Rintanen 08 Invarianten Algorithmus. Implemented Rintanens clique paritioning algorithm on the found invariants (minus trivial invariants). Resulting cliques are then used to create a sas task.
183a35c4c516ef814e142d849b289af441f65e14 1c88068cb32297c3af09e37524f8d70eeb1c5618 Silvan Sievers <silvan.sievers@unibas.ch> 1593442973 +0200	On sw_mt_invarsynt_main: src/translate/fact_groups.py
