alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix link to parity game example

Browse source 
Reported by Florian Renkin.

* doc/org/index.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2022-05-04 17:40:17 +02:00
parent 56666e0db5
commit 9ae2e9c03d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/index.org
View file

@ -25,7 +25,7 @@ checking. It has the following notable features:
weak-DBA, removal of useless SCCs, acceptance-condition
transformations, determinization, [[file:satmin.org][SAT-based minimization of
deterministic automata]], [[https://spot.lrde.epita.fr/ipynb/zlktree.html][Alternating Cycle Decomposition]], etc.
- Support for [[file:tut40.org][Safety]] and [[https://spot-dev.lrde.epita.fr/ipynb/games.html][parity games]].
- Support for [[file:tut40.org][Safety]] and [[https://spot.lrde.epita.fr/ipynb/games.html][parity games]].
- Applications to [[file:ltlsynt.org][reactive synthesis]] and [[https://spot.lrde.epita.fr/ipynb/atva16-fig2b.html][model checking]].
- In addition to the C++ interface, most of its algorithms are usable
via [[file:tools.org][command-line tools]], and via [[file:tut.org][Python bindings]].