mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
limit expr.size() in grobner by 20
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
c3099a5719
commit
1dbffe7367
|
@ -44,7 +44,7 @@ public:
|
|||
m_grobner_frequency(5),
|
||||
m_grobner_eqs_threshold(512),
|
||||
m_grobner_row_length_limit(10),
|
||||
m_grobner_expr_size_limit(50)
|
||||
m_grobner_expr_size_limit(20)
|
||||
{}
|
||||
|
||||
unsigned grobner_eqs_threshold() const { return m_grobner_eqs_threshold; }
|
||||
|
|
Loading…
Reference in a new issue