summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/bounded_integers.h
AgeCommit message (Expand)Author
2015-04-21Changes needed to compile at Google, plus some bug fixes from Google.Clark Barrett
2014-10-18Fix for bounded integers when incremental, fixes bug 588. Add option --dt-bi...ajreynol
2014-08-01Minor cleanup from previous commit. Better organization for how quantifiers ...ajreynol
2014-07-01Update copyrights.Morgan Deters
2014-05-13Add lazy strategy for bounded integers to avoid non-terminating unsat cases. ...ajreynol
2014-04-28Optimizations for datatypes: check for clashes modulo equality. Avoid buildi...ajreynol
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-09-27Add new symmetry breaking technique for finite model finding. Improvements t...Andrew Reynolds
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-06-26Add support for interval models in bounded integers MBQI (in progress).Andrew Reynolds
2013-05-22Significant work on bounded integer quantification to handle non-trivial boun...Andrew Reynolds
2013-05-11Preliminary version of finite model finding over bounded integer quantificati...Andrew Reynolds
2013-05-08Add new method for checking candidate models, --fmf-fmc. Add infrastructure ...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback