Details for solver configuration Demiurge (Ref 2014) [parallel]
| Name: | Demiurge (Ref 2014) |
| Version: | |
| Description: | |
| Authors: |
Hint:
Specified parameters
| Order | Name | Prefix | Value |
|---|---|---|---|
| 0 | instance | -i | |
| 1 | tempdir | -t | |
| 2 | --print= | ✓ | |
| 3 | b | -b | lp3 |
| 4 | m | -m | 1 |
| 5 | r | -r | ✓ |
| 8 | s | -s | min_api |