From 59f2603a3a1ac92ead6f6f4316615e6821282d55 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 12 Apr 2022 10:36:01 +0200 Subject: [PATCH] add parameter class for polysat Signed-off-by: Nikolaj Bjorner --- src/math/polysat/solver.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/math/polysat/solver.h b/src/math/polysat/solver.h index 8093b4fbf..e62bdee6a 100644 --- a/src/math/polysat/solver.h +++ b/src/math/polysat/solver.h @@ -40,9 +40,9 @@ Author: namespace polysat { struct config { - uint64_t m_max_conflicts = std::numeric_limits::max(); - uint64_t m_max_decisions = std::numeric_limits::max(); - bool m_log_conflicts = false; + uint64_t m_max_conflicts = std::numeric_limits::max(); + uint64_t m_max_decisions = std::numeric_limits::max(); + bool m_log_conflicts = false; }; class solver {