projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0e91c2) | patch
changed logic options so that justification is turned on for QF_ABV and QF_UFBV as...
authorLiana Hadarean <lianahady@gmail.com>
Thu, 15 Nov 2012 20:52:09 +0000 (20:52 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Thu, 15 Nov 2012 20:52:09 +0000 (20:52 +0000)
commit263ec763ab08a137b7997c7b2c536a22aa6496f6
tree654e09d6303993dddf5f4418b27f15031fecd3ectree
parenta0e91c27c047e7abcfd254584e8a9f27c676b9edcommit | diff
changed logic options so that justification is turned on for QF_ABV and QF_UFBV as well
src/smt/smt_engine.cpp diff | blob | history