summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/inst_strategy_cbqi.h
AgeCommit message (Expand)Author
2015-04-21Changes needed to compile at Google, plus some bug fixes from Google.Clark Barrett
2015-04-01Improvements and bug fixes related to cbqi/cegqi. Minor fix for fmf with fun...ajreynol
2015-03-23Decouple counter-example guided quantifier instantiation from Sygus.ajreynol
2015-02-22New trigger options. --inst-no-entail on by default. Misc cleanup.ajreynol
2014-10-10Add owner map to better manage QuantifiersModules. Initial infrastructure fo...ajreynol
2014-07-01Update copyrights.Morgan Deters
2014-05-10Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m...Andrew Reynolds
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-08-13initial modifications for per-ic cbqiAndrew Reynolds
2013-04-26FCSimplex branch mergeTim King
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-02-04fixed files with DOS newlines; fixed contrib/ scripts to use gitMorgan Deters
2012-12-01drastic simplification of quantifiers code regarding equality queries, instan...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback