Skip to content

ltlsynt: do a fixpoint around the polarity simplifications

Alexandre Duret-Lutz requested to merge adl/529 into next
  • bin/ltlsynt.cc: Here.
  • tests/core/ltlsynt.test: Adjust.

Merge request reports