diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-10 16:22:19 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-10 16:22:26 -0500 |
commit | 2c0482cfb9b8164670cf56187e127d38c5d05bcf (patch) | |
tree | 804f7806944b9175fdaea8cc919566ca302ddf09 /test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2.expect | |
parent | 0e513c05b2e0ae3b8e2d08514ccb8007258f963b (diff) |
Merge ntExt branch. Adds support for transcendental functions. Refactoring of non-linear extension. Add factoring lemma scheme for non-linear. Add regressions.
Diffstat (limited to 'test/regress/regress0/decision/quant-ex1.disable_miniscope.smt2.expect')
0 files changed, 0 insertions, 0 deletions