From aeb05f0ff0a8814b896f0bea3de3bb5988fc6707 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 14 Nov 2021 22:17:15 +0100 Subject: [PATCH] * doc/org/index.org: Fix link to zlktree.html. --- doc/org/index.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/index.org b/doc/org/index.org index 0e385f01b..72463b7b6 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -24,7 +24,7 @@ checking. It has the following notable features: emptiness checks, simulation-based reductions, minimization of 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/][Alternating Cycle Decomposition]], etc. + 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]]. - 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