Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dnew_sat_solver2.c366 #define PRNG_SEED 0xabcdef98 macro
2430 params->seed = PRNG_SEED; in init_params()
H A Dnew_sat_solver.c395 #define PRNG_SEED 0xabcdef98 macro
2790 params->seed = PRNG_SEED; in init_params()