From f5a9b1de720d6c77815ebb0ea9d6e911905885d1 Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 3 May 2013 21:55:40 -0400 Subject: Adding cut offs for likely integer infeasible paths. --- src/theory/arith/approx_simplex.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/arith/approx_simplex.cpp') diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index 55e52fc53..ef3ea0484 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -155,7 +155,7 @@ private: }; #warning "set back to 0" -int ApproxGLPK::s_verbosity = 1; +int ApproxGLPK::s_verbosity = 0; }/* CVC4::theory::arith namespace */ }/* CVC4::theory namespace */ -- cgit v1.2.3