projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7668590) | patch
Add --inst-max-level=N option for Kshitij. Support define-const command in Smt2.
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 24 Apr 2014 08:35:08 +0000 (03:35 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 24 Apr 2014 08:35:08 +0000 (03:35 -0500)
commitbd3a86055008e692ac4e5e6fa5dfce9e78660d8a
tree59950b0d965b84bc55158013bbddaabbd1be05dftree
parent766859010a5ca2cc94ffe69908dfe2606df2af28commit | diff
Add --inst-max-level=N option for Kshitij.  Support define-const command in Smt2.
src/parser/smt2/Smt2.g diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history