Skip to content
  • Philipp Schlehuber's avatar
    game: reimplement print_aiger · 0d43beda
    Philipp Schlehuber authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * spot/twaalgos/aiger.cc, spot/twaalgos/aiger.hh: Reimplement
    print_aiger for speed gain, also heuristics to minimize the number
    of gates as well as different encoding types have been added.
    * bin/ltlsynt.cc: Make the new options for print-aiger available.
    * tests/core/ltlsynt.test: Adjust tests.
    0d43beda