projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5212180) | patch
adding simple-minded handling of (dis-)equalities where constants are involved
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 16 May 2012 19:28:25 +0000 (19:28 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 16 May 2012 19:28:25 +0000 (19:28 +0000)
commita090197414c31b4cae3cdced9e448474858b7553
tree67c53f839fa295b38ab01c1f191c7b75f259fa95tree
parent5212180d05110bbec3ed76e70e985d317ff450c5commit | diff
adding simple-minded handling of (dis-)equalities where constants are involved
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history