summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/ambqi_builder.cpp
AgeCommit message (Expand)Author
2016-09-15Refactor setIncomplete in quantifiers.ajreynol
2016-05-02Clean up issues related to compiled scc in LFSC. Refactor --partial-trigger, ...ajreynol
2016-04-13Minor improvements for alpha equivalence and partial quantifier elimination i...ajreynol
2016-04-10More work on instantiation propagation. Enable external filtering of instanti...ajreynol
2016-04-03Updating the copyright headers and scripts.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-01-28Minor refactor CEGQI.ajreynol
2014-10-13Model building into quantifiers engine. Simplify axiom-inst mode.ajreynol
2014-07-01Update copyrights.Morgan Deters
2014-06-19dos2unix-convert some sources.Morgan Deters
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-10Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m...Andrew Reynolds
2014-05-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...Andrew Reynolds
2014-05-08Fixes to quantifiers rewriter to prevent miniscoping nested quantifiers. Min...Andrew Reynolds
2014-05-08Basic optimizations for ambqi : only normalize UF applied to variables, direc...Andrew Reynolds
2014-05-07Fixes to ambqi, now solution-sound.Andrew Reynolds
2014-05-06First draft of ambqi_builder (new implementation of MBQI based on disjoint se...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback