add facility to experiment with nla justified conflicts from Grobner …

…equations Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 16, 2023 · ba881d9 · ba881d9
1 parent 18fc691
commit ba881d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp
@@ -36,7 +36,7 @@ namespace nla {
         if (m_quota == 0)
             m_quota = c().params().arith_nl_gr_q();                    
 
-        if (false && m_quota == 1)
+        if (m_quota == 1)
             return;
 
         lp_settings().stats().m_grobner_calls++;