projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0072ab) | patch
better handling for conflicting options with nonlinear arith (bug 646)
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 21 Aug 2015 07:26:30 +0000 (03:26 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 21 Aug 2015 07:26:30 +0000 (03:26 -0400)
commitebaa44a4b93b00614b41ef38f36112883ee27626
tree63d96f971254e6a0b1ed67958629f414ec2f2957tree
parentd0072ab29c7e9213ca6773b89e393f381bca0126commit | diff
better handling for conflicting options with nonlinear arith (bug 646)
src/smt/smt_engine.cpp diff | blob | history