changeset 40341 | 03156257040f |
parent 38185 | b51677438b3a |
child 41278 | 8e1cde88aae6 |
40340:d1c14898fd04 | 40341:03156257040f |
---|---|
10 theory Record_Nits |
10 theory Record_Nits |
11 imports Main |
11 imports Main |
12 begin |
12 begin |
13 |
13 |
14 nitpick_params [card = 1\<midarrow>6, max_potential = 0, |
14 nitpick_params [card = 1\<midarrow>6, max_potential = 0, |
15 sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s] |
15 sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] |
16 |
16 |
17 record point2d = |
17 record point2d = |
18 xc :: int |
18 xc :: int |
19 yc :: int |
19 yc :: int |
20 |
20 |