Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt: new algorithm, based on LAR
· 8d5d453e
Maximilien Colange
authored
Jul 24, 2018
* bin/ltlsynt.cc: here * tests/core/ltlsynt.test: test it * NEWS: document it
8d5d453e