mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-09 18:40:51 +00:00
Code Activity

define indexed root expression

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2025-08-15 14:37:09 -07:00
parent 51778e3ef7
commit e6aeb027ca
2 changed files with 27 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_explain.cpp
View file

@ -53,7 +53,7 @@ namespace nlsat {
bool m_cell_sample;
assignment const & sample() const { return m_solver.sample(); }
assignment & sample() { return m_solver.sample(); }
assignment & sample() { return m_solver.sample(); }
struct todo_set {
polynomial::cache & m_cache;