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

org: mention the determinization on the main page

Browse source 
Fixes #145.

* doc/org/index.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-02-13 15:54:27 +01:00
parent f7b5dcf47d
commit 369c2c537d
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

@ -20,7 +20,7 @@ checking. It has the following notable features:
- Several algorithms for automata manipulation including: product, - Several algorithms for automata manipulation including: product,
emptiness checks, simulation-based reductions, minimization of emptiness checks, simulation-based reductions, minimization of
weak-DBA, removal of useless SCCs, acceptance-condition 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 - In addition to the C++ interface, most of its algorithms are usable
via [[file:tools.org][command-line tools]], and via Python bindings. via [[file:tools.org][command-line tools]], and via Python bindings.
- One command-line tool, called [[file:ltlcross.org][=ltlcross=]], is a rewrite of - One command-line tool, called [[file:ltlcross.org][=ltlcross=]], is a rewrite of