Details for solver configuration BoSy (ltl3ba,par)
| Name: | BoSy |
| Version: | |
| Description: | |
| Authors: | Leander Tentrup |
Hint:
Specified parameters
| Order | Name | Prefix | Value |
|---|---|---|---|
| 0 | instance | ||
| 1 | rules | --syntcomp2017-rules | ✓ |
| Name: | BoSy |
| Version: | |
| Description: | |
| Authors: | Leander Tentrup |
| Order | Name | Prefix | Value |
|---|---|---|---|
| 0 | instance | ||
| 1 | rules | --syntcomp2017-rules | ✓ |