projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17cb845) | patch
minor change to order fn in sat solver's ElimLt
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 22 Feb 2012 03:00:24 +0000 (03:00 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 22 Feb 2012 03:00:24 +0000 (03:00 +0000)
commit5113a97006ab1ed6de2eec471b9ad624d14e8d27
tree1901f38edc7d6d5658d3f9f8c54e9e01ba83c779tree
parent17cb8457875dbe3a9eb79312a9b6d158070f7224commit | diff
minor change to order fn in sat solver's ElimLt
(better, (marginally) faster -- regressions 3605, 3606)
src/prop/minisat/simp/SimpSolver.h diff | blob | history