NewsEntry (2018/01/20)
From LRDE
Title | Spot 2.5 was released |
---|---|
Sub-Title |
The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm. |
Date |
2018/01/20 |