BOOLGRAPH_MINIMALIZATION_FAST - rychla minimalizace
BOOLGRAPH_MINIMALIZATION_SLOW - kvalitnejsi pomala (stale ne exaktni)
ESPRESSO - referencni minimalizator
GENPLA - program pouzity pro tvorbu instanci