Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt.cc: Correct help
· 51636bc9
Florian Renkin
authored
Nov 15, 2021
* bin/ltlsynt.cc: Change "sd" to "lar" as default algorithm in the doc.
51636bc9