mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-23 06:01:26 +00:00
Code Activity

remove unused method

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2025-11-18 08:30:46 -10:00
parent bcb976ba1a
commit 5d77885339
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/nlsat/nlsat_explain.cpp
View file

@ -691,9 +691,6 @@ namespace nlsat {
} }
} }
void add_zero_assumption_on_factor(polynomial_ref& f) {
display(std::cout << "zero factors \n", f);
}
// this function also explains the value 0, if met // this function also explains the value 0, if met
bool coeffs_are_zeroes(polynomial_ref &s) { bool coeffs_are_zeroes(polynomial_ref &s) {
restore_factors _restore(m_factors, m_factors_save); restore_factors _restore(m_factors, m_factors_save);