Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
misc
accconv.cc
Find file
Blame
History
Permalink
accconv: speed up acceptance_convertor::as_positive_product()
· c6030df9
Alexandre Duret-Lutz
authored
Oct 19, 2012
* src/misc/accconv.cc (as_positive_product): Use a small loop instead of calling bdd_satone().
c6030df9