mirror of
https://github.com/Z3Prover/z3
synced 2025-11-04 05:19:11 +00:00
10 lines
No EOL
238 B
Text
10 lines
No EOL
238 B
Text
Basic GSAT version corresponding to Christoph's original code.
|
|
Restarts after 100 plateaus.
|
|
|
|
#define _CNF_ 0
|
|
#define _BFS_ 0
|
|
#define _FOCUS_ 0
|
|
#define _RESTARTS_ 1
|
|
#define _TIMELIMIT_ 300
|
|
#define _SCORE_AND_AVG_ 0
|
|
#define _SCORE_OR_MUL_ 0 |