Class GfgCoBuchiMinimization


  • public final class GfgCoBuchiMinimization
    extends Object
    This class implements [ICALP'19] minimization of GFG automata.