| changeset 55007 | 0c07990363a3 |
| parent 53057 | e18a028b345c |
| child 56623 | 4675df68450e |
| 55006:ea9fc64327cb | 55007:0c07990363a3 |
|---|---|
27 section "Miscellaneous Tools" |
27 section "Miscellaneous Tools" |
28 |
28 |
29 public option sledgehammer_timeout : int = 30 |
29 public option sledgehammer_timeout : int = 30 |
30 -- "ATPs will be interrupted after this time (in seconds)" |
30 -- "ATPs will be interrupted after this time (in seconds)" |
31 |
31 |
32 public option z3_non_commercial : string = "unknown" |
|
33 -- "status of Z3 activation for non-commercial use (yes, no, unknown)" |
|
34 |