-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.