projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43dd356) | patch
cleanup of exit mechanism when decisionEngine is on\n\n fixes some bugs we were seein...
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 12 Jun 2012 17:33:29 +0000 (17:33 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 12 Jun 2012 17:33:29 +0000 (17:33 +0000)
commit0659b7c7b50e49cbea1728f90f7ff04598f01eac
treec0f2ab0f6734fa6c78c68857c1a2c2d551f7a644tree
parent43dd3569232fd72d7791db7dd113bdff0bdf916dcommit | diff
cleanup of exit mechanism when decisionEngine is on\n\n fixes some bugs we were seeing in quantifiers+decision stuff
src/prop/minisat/core/Solver.cc diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history