mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

add NOT_IMPLEMENTED_YET

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2019-12-25 20:37:51 -08:00
parent dd9935de7d
commit f8deb4ed5f
1 changed files with 1 additions and 0 deletions

1
src/math/lp/nla_core.cpp
View file

@ -1410,6 +1410,7 @@ std::ostream& core::print_term( const lp::lar_term& t, std::ostream& out) const
void core::run_pdd_grobner() {
m_pdd_manager.resize(m_lar_solver.number_of_vars());
NOT_IMPLEMENTED_YET();
}
void core::add_var_and_its_factors_to_q_and_collect_new_rows(lpvar j, svector<lpvar> & q) {