projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 458d47b) | patch
new miplib pass, works for 1 or 2 vars
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 29 Jan 2013 22:39:12 +0000 (17:39 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 3 Feb 2013 20:39:29 +0000 (15:39 -0500)
commit1885fb09079e71b0b99cb06de90fa1abb475a068
tree948091bac92eff85a96b0e45e6c94c6db1bb7beftree
parent458d47b2330418fb0045197e12edc9c730034180commit | diff
new miplib pass, works for 1 or 2 vars
13 files changed:
src/smt/smt_engine.cpp diff | blob | history
src/theory/arith/options diff | blob | history
src/theory/booleans/circuit_propagator.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
test/regress/regress0/arith/Makefile.am diff | blob | history
test/regress/regress0/arith/miplib-opt1217--27.smt [new file with mode: 0644] blob
test/regress/regress0/arith/miplib-opt1217--27.smt.expect [new file with mode: 0644] blob
test/regress/regress0/arith/miplib-opt1217--27.smt2 [new file with mode: 0644] blob
test/regress/regress0/arith/miplib-pp08a-3000.smt [new file with mode: 0644] blob
test/regress/regress0/arith/miplib-pp08a-3000.smt.expect [new file with mode: 0644] blob
test/regress/regress0/arith/miplib-pp08a-3000.smt2 [new file with mode: 0644] blob
test/regress/regress0/arith/miplib.cvc [new file with mode: 0644] blob
test/regress/regress0/arith/miplib2.cvc [new file with mode: 0644] blob