• Alexandre Duret-Lutz's avatar
    [buddy] · 253ee350
    Alexandre Duret-Lutz authored
    Introduce bdd_satprefix, to speedup spot::minato().
    
    * src/bdd.h (bdd_satprefix): New function.
    * src/bddop.c (bdd_satprefix, bdd_sat_prefixrec): New functions.
    253ee350