projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b78f4be) | patch
Add casc scripts. Improvements to qcf related to nested quantifiers and variable...
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 12 May 2016 15:13:17 +0000 (10:13 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 12 May 2016 15:13:17 +0000 (10:13 -0500)
commit411ced2c475e5ccb4c114ce2c77a39bf93d139f4
tree633033193faf75556ca16772efc8730f1893f04atree
parentb78f4be5dac08916e0b189ba99f608a44fa08d5dcommit | diff
Add casc scripts. Improvements to qcf related to nested quantifiers and variable ordering.
contrib/run-script-cascj8-fnt [new file with mode: 0644] blob
contrib/run-script-cascj8-fof [new file with mode: 0644] blob
contrib/run-script-cascj8-tfa [new file with mode: 0644] blob
contrib/run-script-cascj8-tfn [new file with mode: 0644] blob
src/options/quantifiers_options diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history