bin/ltlsynt.cc · d6ae7af5f5d13aec7418915d1ed408d625c25480 · Spot / Spot · GitLab

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