Skip to content

reduce_parity: add layered option

Alexandre Duret-Lutz requested to merge adl/unreachable-stats into next
  • spot/twaalgos/parity.cc: Implement it.
  • spot/twaalgos/parity.hh, NEWS: Document it.
  • tests/python/parity.ipynb: Demonstrate it. This is the only test so far, but more uses are coming.

Merge request reports