From 8d91aa4267caa29b672ca0a354c4b07e4ee6f86b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 13 Nov 2021 11:08:12 +0100 Subject: [PATCH] * doc/org/index.org: Advertise more features. --- doc/org/index.org | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/org/index.org b/doc/org/index.org index d402b02a4..0e385f01b 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -24,7 +24,9 @@ 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]], etc. + deterministic automata]], [[https://spot.lrde.epita.fr/ipynb/][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 via [[file:tools.org][command-line tools]], and via [[file:tut.org][Python bindings]]. - One command-line tool, called [[file:ltlcross.org][=ltlcross=]], is a rewrite of [[http://www.tcs.hut.fi/Software/lbtt/][LBTT]], but