mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-02 04:03:26 +00:00
Code Activity

re-add removed function

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-07-28 14:16:49 -07:00
parent d49c389a69
commit b0c15fd46c
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/lp/int_solver.cpp
View file

@ -735,7 +735,9 @@ namespace lp {
return true;
}
bool int_solver::current_solution_is_inf_on_cut() const {
return m_imp->current_solution_is_inf_on_cut();
}
void int_solver::simplify(std::function<bool(unsigned)>& is_root) {
return;