• Alexandre Duret-Lutz's avatar
    autfilt: add a --simplify-exclusive-ap option · 75328f1a
    Alexandre Duret-Lutz authored
    * src/bin/autfilt.cc: Add option.
    * src/ltlvisit/exclusive.cc, src/ltlvisit/exclusive.hh: implement it.
    * src/tgbatest/exclusive.test: Test it.
    * src/misc/minato.cc, src/misc/minato.hh: Add an interface to
    simplify a Boolean function with don't care.
    75328f1a