summaryrefslogtreecommitdiff
path: root/src/options/arith_options.toml
AgeCommit message (Expand)Author
2021-05-10Remove header for option modules (#6514)Gereon Kremer
2021-05-10Remove read_only from options. (#6513)Gereon Kremer
2020-10-27Disable --nl-cad option by default (#5350)Gereon Kremer
2020-10-27Enable --nl-cad by default (#5345)Gereon Kremer
2020-10-05Make sygus more robust to unknown responses in solution verification (#5199)Andrew Reynolds
2020-10-01Allow to use the initial assignment for CAD (#5177)Gereon Kremer
2020-09-22ICP-based solver for nonlinear arithmetic (#5017)Gereon Kremer
2020-08-21Connect the relevance manager to TheoryEngine and use it in non-linear arithm...Andrew Reynolds
2020-08-04Add CAD-based solver (#4834)Gereon Kremer
2020-07-14Make use of options in setDefaults more consistent (#4729)Andrew Reynolds
2020-06-25Update option --nl-ext to enable/disable incremental linearization solver onl...Andrew Reynolds
2020-06-10(proof-new) Remove arith-snorm option. (#4591)Andrew Reynolds
2020-05-22Refactor operator elimination in arithmetic (#4519)Andrew Reynolds
2020-04-08Split ProcessAssertions module from SmtEngine (#4210)Andrew Reynolds
2020-03-26Added unit-cube-like test for branch and bound (#3922)Amalee
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2018-08-21Makes the new row propagation system default (#2335)Haniel Barbosa
2018-07-30Fix several spelling errors (#2231)FabianWolff
2018-07-27Require argument description for non-{bool,void} options. (#2228)Mathias Preiner
2018-05-23Generalize check-model in NonLinearExtension for quadratic equations (#1892)Andrew Reynolds
2018-05-03Option to interleave tangent plane inferences (#1833)Andrew Reynolds
2018-05-01Improve tangent planes for transcendental functions (#1832)Andrew Reynolds
2018-04-25Remove nl solve subs option. (#1803)Andrew Reynolds
2018-04-09Remove unused arith options (#1758)Andres Noetzli
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback