| changeset 40341 | 03156257040f |
| parent 38185 | b51677438b3a |
| child 41278 | 8e1cde88aae6 |
| 40340:d1c14898fd04 | 40341:03156257040f |
|---|---|
11 theory Hotel_Nits |
11 theory Hotel_Nits |
12 imports Main |
12 imports Main |
13 begin |
13 begin |
14 |
14 |
15 nitpick_params [max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, |
15 nitpick_params [max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, |
16 timeout = 120 s] |
16 timeout = 120] |
17 |
17 |
18 typedecl guest |
18 typedecl guest |
19 typedecl key |
19 typedecl key |
20 typedecl room |
20 typedecl room |
21 |
21 |