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 |