-
Thibaud Michaud authored
* spot/misc/game.cc, spot/misc/game.hh: Implement it. * bin/ltlsynt.cc: Use it. * doc/org/ltlsynt.org: Document it.
f414e9f5
* spot/misc/game.cc, spot/misc/game.hh: Implement it. * bin/ltlsynt.cc: Use it. * doc/org/ltlsynt.org: Document it.