summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2020-07-08Re-implement handling of --tlimit (#4655)Gereon Kremer
2020-07-08Add getName() method to options. (#4704)Mathias Preiner
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
2020-07-01Add solver for integer AND (#4681)Andrew Reynolds
2020-06-30Interpolation step 1 (#4638)Ying Sheng
2020-06-25Remove sygus1 parser (#4651)Andrew Reynolds
2020-06-25Update option --nl-ext to enable/disable incremental linearization solver onl...Andrew Reynolds
2020-06-23Add support for eqrange predicate (#4562)Mathias Preiner
2020-06-22(proof-new) Add proof-new to options file (#4641)Andrew Reynolds
2020-06-22fix (#4637)yoni206
2020-06-18Improve memory management in Java bindings (#4629)Andres Noetzli
2020-06-16Update copyright headers.Aina Niemetz
2020-06-10(proof-new) Remove arith-snorm option. (#4591)Andrew Reynolds
2020-06-05Datatypes with nested recursion are not handled in TheoryDatatypes unless opt...Andrew Reynolds
2020-06-05Printing FP values as binary or indexed BVs according to option (#4554)Haniel Barbosa
2020-06-03Do not apply unconstrained simplification when quantifiers are present (#4532)Andrew Reynolds
2020-06-02Use prenex normal form when using cegqi-nested-qe (#4522)Andrew Reynolds
2020-05-28Fix term registry for constant case, simplify. (#4538)Andrew Reynolds
2020-05-22Refactor operator elimination in arithmetic (#4519)Andrew Reynolds
2020-05-22Add support for SAT solver Kissat. (#4514)Aina Niemetz
2020-05-21Disable re-elim by default (#4508)Andrew Reynolds
2020-05-20CegqiBv: Clean up after renaming options. (#4487)Aina Niemetz
2020-05-20Use debug-check-model to enable internal debugging in check-model (#4480)Andrew Reynolds
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
2020-05-19Update enum and option names for sygus languages (#4388)Andrew Reynolds
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2020-04-21Fix for parse options related to binary name (#4368)Andrew Reynolds
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-04-16SyGuS instantiation quantifiers module (#3910)Mathias Preiner
2020-04-15Change option names --default-dag-thresh and --default-expr-depth (#4309)Andrew Reynolds
2020-04-14Remove a few options (#4295)Andrew Reynolds
2020-04-14Remove early type check option (#4234)Andrew Reynolds
2020-04-14Remove argument extender (#4223)Andrew Reynolds
2020-04-14Fix dump-unsat-cores-full (#4303)Andrew Reynolds
2020-04-08Split ProcessAssertions module from SmtEngine (#4210)Andrew Reynolds
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-30Remove ref skolem datatype option (#4185)Andrew Reynolds
2020-03-26Added unit-cube-like test for branch and bound (#3922)Amalee
2020-03-18Always enable cbqi literal dependency (#4116)Andrew Reynolds
2020-03-13Removing a few deprecated options (#4052)Andrew Reynolds
2020-03-12Remove local theory extension option (#4048)Andrew Reynolds
2020-03-11Hide options for and related to the BV abstraction module. (#4041)Aina Niemetz
2020-03-11Remove experimental symmetry breaker (#4005)Andrew Reynolds
2020-03-11Remove partial instantiation for local theory extensions (#4020)Andrew Reynolds
2020-03-09Rename sygus option name (#3977)Andrew Reynolds
2020-03-05Remove --apply-to-const preprocessing pass (#3919)Andres Noetzli
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback