From bb095659fb12e3733a73f1be31769ff5b5eb6055 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 24 Nov 2017 06:44:46 -0600 Subject: Implement tangent and secant planes for transcendental functions (#1401) --- src/options/arith_options | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/options/arith_options') diff --git a/src/options/arith_options b/src/options/arith_options index bddde7a16..3ba1b00f6 100644 --- a/src/options/arith_options +++ b/src/options/arith_options @@ -177,6 +177,9 @@ option nlExtFactor --nl-ext-factor bool :default true option nlExtTangentPlanes --nl-ext-tplanes bool :default false use non-terminating tangent plane strategy for non-linear +option nlExtTfTangentPlanes --nl-ext-tf-tplanes bool :default false + use non-terminating tangent plane strategy for transcendental functions for non-linear + option nlExtEntailConflicts --nl-ext-ent-conf bool :default false check for entailed conflicts in non-linear solver -- cgit v1.2.3