mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

disable simple check in nlsat

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2024-09-23 10:10:46 -07:00
parent c34c8477f3
commit fa1a2cdc1e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_solver.cpp
View file

@ -222,7 +222,7 @@ namespace nlsat {
bool m_check_lemmas; bool m_check_lemmas;
unsigned m_max_conflicts; unsigned m_max_conflicts;
unsigned m_lemma_count; unsigned m_lemma_count;
bool m_simple_check; bool m_simple_check = false;
unsigned m_variable_ordering_strategy; unsigned m_variable_ordering_strategy;
bool m_set_0_more; bool m_set_0_more;
bool m_cell_sample; bool m_cell_sample;