Improved aig::as_automaton (!129) · Merge requests · Spot / Spot · GitLab

Philipp Schlehuber requested to merge psc/ltlfcheck into next Apr 29, 2024

as_automaton now supports terminating semantics.

NEWS: Annoncement
spot/twaalgos/aiger.cc, spot/twaalgos/aiger.hh: Here
tests/python/aiger.py, tests/python/synthesis.ipynb: Tests and Doc
spot/twaalgos/game.cc: Teaching alternate_players to ignore edges labeled by bddfalse.