Adds a hueristic from Alberto's thesis. For a fixed window the row count is used...
authorTim King <taking@cs.nyu.edu>
Sat, 30 Oct 2010 19:18:36 +0000 (19:18 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 30 Oct 2010 19:18:36 +0000 (19:18 +0000)
commit29f5a9be53b572d2369d70947942563825c2fa27
treed2c579867aade669bb6b1fef03fbdc005c538c7d
parentb3ce68e7803dcb868004155b6d61a88a8dbe6c6f
Adds a hueristic from Alberto's thesis. For a fixed window the row count is used to select which non-basic variable is a row in made basic.
src/theory/arith/row_vector.cpp
src/theory/arith/row_vector.h
src/theory/arith/simplex.cpp
src/theory/arith/simplex.h
src/theory/arith/tableau.cpp
src/theory/arith/tableau.h