projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7475461) | patch
Add option for inductive strengthening based on well-founded induction for integers...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 20 Aug 2014 16:38:04 +0000 (18:38 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 20 Aug 2014 16:38:04 +0000 (18:38 +0200)
commitad802cf5aee6db307d8424612b5e147f1c9aaa11
tree28998b910035dc4c072def95e5a58661e85b18fatree
parent74754612cdc6b57691069ad1d5df752487dd9d1ecommit | diff
Add option for inductive strengthening based on well-founded induction for integers (default schema).
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history