projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cdf019f 3582df1)
Merge pull request #176 from CVC4/smtcomp2017
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 21 Jun 2017 16:15:06 +0000 (11:15 -0500)
committerGitHub <noreply@github.com>
Wed, 21 Jun 2017 16:15:06 +0000 (11:15 -0500)
Better configuration for QF_NRA


Trivial merge