mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-21 21:33:39 +00:00
Code Activity

remove printouts

Browse source
This commit is contained in:
Lev Nachmanson 2024-08-08 14:50:17 -10:00 • committed by Lev Nachmanson
parent 518a8b2bdb
commit f7905a5d69
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_solver.cpp
View file

@ -1838,7 +1838,6 @@ namespace nlsat {
//#linxi begin symmetry check //#linxi begin symmetry check
void symmetry_check() { void symmetry_check() {
std::cout << "sym called\n";
unsigned arith_num = m_is_int.size(); unsigned arith_num = m_is_int.size();
if (arith_num > 10000) if (arith_num > 10000)
return ; return ;
@ -1923,7 +1922,6 @@ namespace nlsat {
} }
//#linxi begin Variable Ordering Strategy //#linxi begin Variable Ordering Strategy
else if (m_linxi_variable_ordering_strategy > 0) { else if (m_linxi_variable_ordering_strategy > 0) {
std::cout << "m_linxi_variable_ordering_strategy=" << m_linxi_variable_ordering_strategy << "\n";
run_variable_ordering_strategy(); run_variable_ordering_strategy();
reordered = true; reordered = true;
} }