projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1885fb0) | patch
extended miplib trick to 6 vars, should work on pp miplib examples now
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 1 Feb 2013 23:05:39 +0000 (18:05 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 3 Feb 2013 20:39:34 +0000 (15:39 -0500)
commitabadf2e3c081530ed7000d01f759e3b7bec09b4a
treecab7ec78046ab0e978bccbb7675b2468f5bf45c0tree
parent1885fb09079e71b0b99cb06de90fa1abb475a068commit | diff
extended miplib trick to 6 vars, should work on pp miplib examples now
src/smt/smt_engine.cpp diff | blob | history