Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

  • POTTIER Francois's avatar
    Committed Maximal and MaxHorn to the attic. · dc3647cb
    POTTIER Francois authored
    Maximal first builds the maximal automaton, then attempts to minimize it.
    The first phase is made obsolete by LR1Pager (ModeInclusionOnly)
    which also computes the maximal automaton, but is more efficient.
    The second phase (minimization) could still be of interest in the future.
    It is based on an ad hoc solver for Horn clauses.
    dc3647cb
maximal.ml 21.6 KB