projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1433806) | patch
- This fixes a problem where simplex produced the same conflict in the single check...
authorTim King <taking@cs.nyu.edu>
Fri, 4 May 2012 03:03:34 +0000 (03:03 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 4 May 2012 03:03:34 +0000 (03:03 +0000)
commit3d1c57e0506b2454aa815c3c1cb634d96ade1d7c
tree1805ae7dae1f9e9b04c2d344ce252a969fc4e7a8tree
parent1433806056059339dd16ae8e431feaae23553150commit | diff
- This fixes a problem where simplex produced the same conflict in the single check call.
- This increases the number of substitutions that ppAssert can solve on integer equations.
src/theory/arith/constraint.cpp diff | blob | history
src/theory/arith/constraint.h diff | blob | history
src/theory/arith/linear_equality.cpp diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history