Details for solver configuration Demiurge P3Synt (2015)
| Name: |
Demiurge (2015) |
| Version: |
1.2.0 |
| Description: |
Demiurge is an open-source tool for synthesizing reactive systems from safety specifications using decision procedures for the satisfiability of quantified and unquantified Boolean formulas. Demiurge can also be seen as an extendable framework: New synthesis algo- rithms and optimizations can easily be integrated in new back- ends, reusing existing infrastructure like the parser, interfaces to SAT- and QBF solvers, existing procedures to extract circuits from strategies, etc. |
| Authors: |
Robert Koenighofer, Martina Seidl |
Launch Command: .//binary/run_demiurge.sh -i <instance> -t <tempdir> . --print= -b lp3 -m 0 -s min_api -c lp3 -e lin_api -k 3000
Hint:
Specified parameters
| Order |
Name |
Prefix |
Value |
| 0 |
instance |
-i |
|
| 1 |
tempdir |
-t |
. |
| 2 |
print |
--print= |
✓ |
| 3 |
b |
-b |
lp3 |
| 4 |
m |
-m |
0 |
| 5 |
s |
-s |
min_api |
| 7 |
c |
-c |
lp3 |
| 9 |
e |
-e |
lin_api |
| 10 |
k |
-k |
3000 |