mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

separate linear update remove 20% threshold

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-08-24 18:14:31 -07:00
parent ab66239c11
commit 7f02ee4263
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_arith_base.cpp
View file

@ -555,7 +555,7 @@ namespace sls {
//verbose_stream() << "repair " << lit << " " << (ctx.is_unit(lit)?"unit":"") << "\n";
m_last_literal = lit;
if (ctx.rand(20) != 0 && find_nl_moves(lit))
if (find_nl_moves(lit))
return true;
if (find_lin_moves(lit))