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

* doc/org/ltlmix.org: Fix example.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2024-09-11 11:38:12 +02:00
parent 1724d2b14c
commit 90fb7b1cd9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/ltlmix.org
View file

@ -476,7 +476,7 @@ conflict. Therefore, increasing the number of atomic propositions to
chose from may help to get more realizable formulas.
#+BEGIN_SRC sh :exports both :epilogue true
genltl --lily=8..11 | ltlmix -A50,50 -C3 -n6 | ltlsynt -q
genltl --lily=8..11 | ltlmix -A50,50 -C3 -n6 | ltlsynt --realizability
#+END_SRC
#+RESULTS: