Details for solver configuration Simple BDD Solver (Ref 2014)
| Name: | Simple BDD Solver (Ref 2014) |
| Version: | |
| Description: | |
| Authors: |
Hint:
Specified parameters
| Order | Name | Prefix | Value |
|---|---|---|---|
| 0 | instance | solve | |
| 1 | q | -q | ✓ |
| Name: | Simple BDD Solver (Ref 2014) |
| Version: | |
| Description: | |
| Authors: |
| Order | Name | Prefix | Value |
|---|---|---|---|
| 0 | instance | solve | |
| 1 | q | -q | ✓ |