• Maximilien Colange's avatar
    ltlsynt: rework synthesis algorithms · bd75ab5b
    Maximilien Colange authored
    ltlsynt now offers two algorithms: one where splitting occurs before
    determinization (the historical one) and one where determinization
    occurs before splitting.
    
    * bin/ltlsynt.cc: here
    * tests/core/ltlsynt.test: test it and refactor test file
    * NEWS: document it
    * spot/misc/game.hh, spot/misc/game.cc: remove Calude's algorithm
    bd75ab5b