-
Alexandre Duret-Lutz authored
Fixes #178. * doc/org/satmin.org: Use a different example, where tba-det does not work. Also adjust the text to automatically adjust to the size of the produced automata.
1f9b18f5
Fixes #178. * doc/org/satmin.org: Use a different example, where tba-det does not work. Also adjust the text to automatically adjust to the size of the produced automata.