Home
last modified time | relevance | path

Searched refs:QUEENS_MODE (Results 1 – 2 of 2) sorted by relevance

/dports/math/boolector/boolector-3.2.2/examples/generators/queens/
H A Dqueenslia.py4 QUEENS_MODE = 0 variable
25 mode = QUEENS_MODE
41 mode = QUEENS_MODE
70 if mode == QUEENS_MODE:
87 if mode == QUEENS_MODE:
H A Dqueensbv.py4 QUEENS_MODE = 0 variable
70 mode = QUEENS_MODE
455 mode = QUEENS_MODE
506 if mode == QUEENS_MODE:
534 if mode == QUEENS_MODE:
553 if mode == QUEENS_MODE or mode == QUEENS_MODE_NP1 or \