From 369c2c537d215c0e5ea7dcae2883b3064ba5886f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 13 Feb 2016 15:54:27 +0100 Subject: [PATCH] org: mention the determinization on the main page Fixes #145. * doc/org/index.org: Here. --- 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 76162acff..f9cd982eb 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -20,7 +20,7 @@ checking. It has the following notable features: - Several algorithms for automata manipulation including: product, emptiness checks, simulation-based reductions, minimization of weak-DBA, removal of useless SCCs, acceptance-condition - transformations, etc. + transformations, determinization, etc. - In addition to the C++ interface, most of its algorithms are usable via [[file:tools.org][command-line tools]], and via Python bindings. - One command-line tool, called [[file:ltlcross.org][=ltlcross=]], is a rewrite of