summaryrefslogtreecommitdiff
path: root/src/theory/arith/soi_simplex.cpp
diff options
context:
space:
mode:
authorTim King <taking@cs.nyu.edu>2013-05-03 20:53:25 -0400
committerTim King <taking@cs.nyu.edu>2013-05-03 20:53:25 -0400
commit5a20ba9f1f843fe066bbc8268f511a71902b88cb (patch)
tree222810c4451bb0c2385a4e499480fc99f342a313 /src/theory/arith/soi_simplex.cpp
parent9a490befefedfd40b7abab5080e84fb7c0540f86 (diff)
Adding a smarter technique for pivoting in solutions for glpk.
Diffstat (limited to 'src/theory/arith/soi_simplex.cpp')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback