bin/ltlsynt.cc · 6ebe3d7447515b510bfa3bb73c0a0bb4f78b2cdd · Spot / Spot · GitLab

Oct 24, 2021
6ebe3d74
Use generic split after obtaining direct strategy · 6ebe3d74
Philipp Schlehuber authored Oct 24, 2021
```
* bin/ltlsynt.cc: Here
```
6ebe3d74
Use generic split after obtaining direct strategy
Philipp Schlehuber authored Oct 24, 2021
```
* bin/ltlsynt.cc: Here
```