summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/ambqi_builder.h
AgeCommit message (Expand)Author
2017-07-07Update copyright headers.Mathias Preiner
2017-03-24Refactor model building for quantifiers to be a single pass, simplification. ...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-15Refactor setIncomplete in quantifiers.ajreynol
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-04-20update from the masterPaulMeng
2016-04-03Updating the copyright headers and scripts.Tim King
2015-04-21Changes needed to compile at Google, plus some bug fixes from Google.Clark Barrett
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-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...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