summaryrefslogtreecommitdiff
path: root/src/theory/arith/options
AgeCommit message (Expand)Author
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-06-10Merging Tim's pseudoboolean work from his fmcad14 branch.Tim King
2014-05-12Merging in additional glpk options and statistics from CAV submission.Tim King
2014-03-07Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m...Tim King
2014-02-17type conversionTianyi Liang
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-06-24Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al...Morgan Deters
2013-05-03Code cleanup. Reducing misc. warnings in arithmetic.Tim King
2013-05-03Merging branch 'soiquickexplain'.Tim King
2013-05-02Adding quick explain for soi simplex.Tim King
2013-05-01Working on the new explanation system.Tim King
2013-04-30Draft of the new propagation code.Tim King
2013-04-26FCSimplex branch mergeTim King
2013-04-02Making arithmetic model reversion on unsat checks an option.Tim King
2013-04-01Adding a restart test strategy to integers.Tim King
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-04Some fixes for the miplib preprocessing pass.Morgan Deters
2013-02-03Some cleanup of miplib regressions and optionsMorgan Deters
2013-02-03new option for doing top-level miplib substitutions (or not)Morgan Deters
2013-02-03new miplib pass, works for 1 or 2 varsMorgan Deters
2013-01-31Adding a heuristic to more eagerly split bounded integer variables.Tim King
2013-01-23Adding miplibtrick option.Tim King
2012-10-06* Clean up some options documentationMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback