Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
ltlsynt.org
Find file
Blame
History
Permalink
ltlsynt: translate winning strategy to AIGER
· d6ae7af5
Thibaud Michaud
authored
Sep 14, 2017
* bin/ltlsynt.cc: Here. * doc/org/ltlsynt.org: Document it. * tests/core/ltlsynt.test: Test it.
d6ae7af5