Instead of giving up entirely, arith now ignores all inequalities when there are too many.
authorwebertj
Tue Mar 10 17:39:06 2009 +0000 (2009-03-10)
changeset 304159501af91c4a3
parent 30406 15dc25f8a0e2
child 30416 c132175cae7e
Instead of giving up entirely, arith now ignores all inequalities when there are too many.
NEWS
     1.1 --- a/NEWS	Tue Mar 10 08:47:45 2009 +0000
     1.2 +++ b/NEWS	Tue Mar 10 17:39:06 2009 +0000
     1.3 @@ -198,6 +198,9 @@
     1.4  
     1.5      find_consts strict: "_ => bool" name: "Int" -"int => int"
     1.6  
     1.7 +* Linear arithmetic now ignores all inequalities when fast_arith_neq_limit
     1.8 +is exceeded, instead of giving up entirely.
     1.9 +
    1.10  
    1.11  *** Document preparation ***
    1.12