From ad8f8a2aabb7531df5a8ec6091494da2462a4f6a Mon Sep 17 00:00:00 2001 From: Mahesh Madhav Date: Tue, 3 Sep 2024 04:48:07 +0000 Subject: [PATCH] Convert the other divide to a multiply --- src/sat/bsat/satSolver.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index ebb6fcce1..6b246a2e6 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -60,7 +60,7 @@ static void printlits(lit* begin, lit* end) static inline double drand(double* seed) { int q; *seed *= 1389796; - q = (int)(*seed / 2147483647); + q = (int)(*seed * 4.6566128752457969e-10); // 1.0/2147483647.0; *seed -= (double)q * 2147483647; return *seed * 4.6566128752457969e-10; // 1.0/2147483647.0 }