******************************************
** Jak používat program Collapsing tool **
******************************************

Program se spouští s minimálně dvěma argumenty určující vstupní a výstupní soubor:

collapse [volby] vstupni_soubor vystupni_soubor

Další volby jsou:
-m ... zapíná minimalizaci výstupní pravdivostní tabulky
-s ... pokud je zapnuta minimalizace, bude použito vylepšení minimimalizací podmnožin (absorpce)
-a ... zapne dynamické uspořádávání proměnných v ROBDD; vhodné pro rozsáhlé obvody
-t ... zapne měření výpočetního času 