summaryrefslogtreecommitdiff
path: root/src/theory/arith/nl_model.cpp
AgeCommit message (Expand)Author
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
2020-03-10Do not set values for non-linear mult terms in collectModelInfo (#3983)Andrew Reynolds
2020-03-09Fixes for bounds on transcendental functions (#3832)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-26Infrastructure for tautological literals in nonlinear solver (#3795)Andrew Reynolds
2020-02-26Support for witnessing choice in models (#3781)Andrew Reynolds
2020-02-11Fix non-linear equality solving that involves mixed real/integer arithmetic (...Andrew Reynolds
2020-02-06Fix exact sqrt (#3721)Andrew Reynolds
2020-01-22Fix substitution in nl solver (#3638)Andrew Reynolds
2019-12-11Do not substitute beneath arithmetic terms in the non-linear solver (#3324)Andrew Reynolds
2019-12-05Make nonlinear solver intercept model assignments from the linear arithmetic ...Andrew Reynolds
2019-11-22Minor refactoring of compute model value for nl (#3489)Andrew Reynolds
2019-11-12Refactor non-linear extension for model-based refinement (#3452)Andrew Reynolds
2019-11-05Separate model object in non-linear extension (#3426)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback