Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    [buddy] · 4034b7f8
    Alexandre Duret-Lutz authored 
    * src/bddop.c (bdd_setxor): New function.
* src/bdd.h (bdd_setxor): New function.
    4034b7f8