projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e9c72) | patch
adding disequality propagation
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 11 Jul 2011 12:45:16 +0000 (12:45 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 11 Jul 2011 12:45:16 +0000 (12:45 +0000)
commite72fdcf6333d575e9c737a6274aa627dc9c54b47
treedcab5cfd03cb531201fd0c3d27d2c05dc6f42775tree
parent25e9c72dd689d3b621b901220794c652a3ba589acommit | diff
adding disequality propagation

relevant comparison http://goedel.cims.nyu.edu/regress-results/compare_jobs.php?job_id=2602&reference_id=2590&p=5
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history