NewsEntry (2018/01/20)

From LRDE

Revision as of 19:26, 20 January 2018 by Adl (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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