Commit aeb05f0f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/org/ Fix link to zlktree.html.

parent dd8373e7
Pipeline #31230 failed with stages
in 135 minutes and 2 seconds
......@@ -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, [[][SAT-based minimization of
deterministic automata]], [[][Alternating Cycle Decomposition]], etc.
deterministic automata]], [[][Alternating Cycle Decomposition]], etc.
- Support for [[][Safety]] and [[][parity games]].
- Applications to [[][reactive synthesis]] and [[][model checking]].
- In addition to the C++ interface, most of its algorithms are usable
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment