summaryrefslogtreecommitdiff
path: root/src/options/arith_options.toml
AgeCommit message (Expand)Author
2021-12-13Improve nonlinear solver (#7787)Gereon Kremer
2021-11-18Refactor CAD option for linear model seed (#7657)Gereon Kremer
2021-11-17Implement aggressive pruning in CAD solver (#7650)Gereon Kremer
2021-09-15remove options that are no longer used (#7197)Gereon Kremer
2021-09-08Add option for using bound inference for relevant assertions (#7152)Andrew Reynolds
2021-08-03Use int64_t, uint64_t or double for all numeric options. (#6970)Gereon Kremer
2021-07-26More updates to arithmetic in preparation for central equality engine (#6927)Andrew Reynolds
2021-07-15Connect the equality solver to theory arith (#6894)Andrew Reynolds
2021-07-06Integrate Lazard into CAD module (#6812)Gereon Kremer
2021-05-19Generate command line options for sphinx docs (#6555)Gereon Kremer
2021-05-17Replace smt_name by aliases (#6541)Gereon Kremer
2021-05-17Improve integration of CAD with nl-Ext (#6542)Gereon Kremer
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