summaryrefslogtreecommitdiff
path: root/src/options/smt_options.toml
AgeCommit message (Expand)Author
2020-04-06Remove links field in all toml files (#4201)Andrew Reynolds
2020-04-02Remove undocumented/uncommon aliases (#4177)Andres Noetzli
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-11Remove experimental symmetry breaker (#4005)Andrew Reynolds
2020-03-05Remove --apply-to-const preprocessing pass (#3919)Andres Noetzli
2020-02-26Support for witnessing choice in models (#3781)Andrew Reynolds
2020-02-24bv_to_int preprocessing passyoni206
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2019-12-19Fix typo in smt_options.toml. (#3579)Mathias Preiner
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-12-06New algorithm for interpolation and abduction based on unsat cores (#3255)Andrew Reynolds
2019-10-08Make ackermannization generally applicable rather than just BV (#3315)Ying Sheng
2019-08-13Implement check abduct feature (#3152)Andrew Reynolds
2019-07-29Model blocker feature (#3112)Andrew Reynolds
2019-07-29Support get-abduct smt2 command (#3122)Andrew Reynolds
2019-06-21Fix and simplify handling of --force-logic (#3062)Andres Noetzli
2018-10-18Non-implied mode for model cores (#2653)Andrew Reynolds
2018-10-10Synthesize rewrite rules from inputs (#2608)Andrew Reynolds
2018-09-11Support model cores via option --produce-model-cores. (#2407)Andrew Reynolds
2018-07-31Fix option handler for lazy/bv-sat-solver combinations. (#2225)Mathias Preiner
2018-07-27Require argument description for non-{bool,void} options. (#2228)Mathias Preiner
2018-06-27Synthesize candidate-rewrites from standard inputs (#1918)Andrew Reynolds
2018-05-09Add the symmetry breaker module (#1847)PaulMeng
2018-04-30Refactor real2int (#1813)Haniel Barbosa
2018-04-20Symmetry detection module (#1749)PaulMeng
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback