/dports/math/spot/spot-2.10.2/tests/core/ |
H A D | satmin2.test | 58 ltl2tgba -BD -x sat-minimize "GF(a <-> XXb)" -H >out 91 ltl2tgba -BD -x sat-minimize=4 "GF(a <-> XXb)" -H >out 170 autfilt -S --sat-minimize='acc="Fin(0)|Inf(1)"' test.hoa \ 348 autfilt -H --sat-minimize special.hoa > output 350 autfilt -H --sat-minimize='sat-langmap' special.hoa > output 370 autfilt -H --sat-minimize='sat-naive' special.hoa > output 391 autfilt --sat-minimize='acc="Streett 1",max-states=2' foo.hoa \ 438 autfilt --sat-minimize='acc="Rabin 1",max-states=4' foo.hoa \ 491 autfilt --sat-minimize=$options',sat-langmap' \ 521 autfilt --sat-minimize=$options',sat-naive' \ [all …]
|
/dports/math/py-spot/spot-2.10.2/tests/core/ |
H A D | satmin2.test | 58 ltl2tgba -BD -x sat-minimize "GF(a <-> XXb)" -H >out 91 ltl2tgba -BD -x sat-minimize=4 "GF(a <-> XXb)" -H >out 170 autfilt -S --sat-minimize='acc="Fin(0)|Inf(1)"' test.hoa \ 348 autfilt -H --sat-minimize special.hoa > output 350 autfilt -H --sat-minimize='sat-langmap' special.hoa > output 370 autfilt -H --sat-minimize='sat-naive' special.hoa > output 391 autfilt --sat-minimize='acc="Streett 1",max-states=2' foo.hoa \ 438 autfilt --sat-minimize='acc="Rabin 1",max-states=4' foo.hoa \ 491 autfilt --sat-minimize=$options',sat-langmap' \ 521 autfilt --sat-minimize=$options',sat-naive' \ [all …]
|
/dports/math/py-iminuit/iminuit-2.8.4/tests/ |
H A D | test_minimize.py | 2 from iminuit import minimize 19 result = minimize(func, (1, 1, 1)) 27 result = minimize(func, (1, 1, 1), jac=grad) 35 result = minimize(func, np.ones(3), args=(5,)) 59 r1 = minimize(rosen, (0, 0), tol=1) 60 r2 = minimize(rosen, (0, 0), tol=1e-6) 66 minimize(lambda x: x ** 2, 0) 73 r = minimize(func, (1, 1, 1)) 84 minimize(func, (1, 1, 1), jac=True) 88 ref = minimize(func, (1, 1, 1)) [all …]
|
/dports/math/spot/spot-2.10.2/bench/dtgbasat/ |
H A D | config.bench | 12 Glucose (As before):glu>sat-minimize=4 15 PicoSAT (As before):pic>sat-minimize=4 18 PicoLibrary:libp>sat-minimize=4 20 Incr Naive:incr1>sat-minimize=3,param=-1 21 Incr param=1:incr2p1>sat-minimize=3,param=1 22 Incr param=2:incr2p2>sat-minimize=3,param=2 23 Incr param=4:incr2p4>sat-minimize=3,param=4 24 Incr param=8:incr2p8>sat-minimize=3,param=8 25 Assume param=1:assp1>sat-minimize=2,param=1 26 Assume param=2:assp2>sat-minimize=2,param=2 [all …]
|
/dports/math/py-spot/spot-2.10.2/bench/dtgbasat/ |
H A D | config.bench | 12 Glucose (As before):glu>sat-minimize=4 15 PicoSAT (As before):pic>sat-minimize=4 18 PicoLibrary:libp>sat-minimize=4 20 Incr Naive:incr1>sat-minimize=3,param=-1 21 Incr param=1:incr2p1>sat-minimize=3,param=1 22 Incr param=2:incr2p2>sat-minimize=3,param=2 23 Incr param=4:incr2p4>sat-minimize=3,param=4 24 Incr param=8:incr2p8>sat-minimize=3,param=8 25 Assume param=1:assp1>sat-minimize=2,param=1 26 Assume param=2:assp2>sat-minimize=2,param=2 [all …]
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/calculus/ |
H A D | test_optimization.py | 15 assert minimize(1) == (1, {}) 16 assert minimize((x - 2)**2) == (0, {x: 2}) 17 assert minimize((x - 2)**2, x) == (0, {x: 2}) 18 assert minimize(1/x, x) == (-oo, {x: 0}) 19 assert minimize(2*x**2 - 4*x + 5, x) == (3, {x: 1}) 21 assert minimize([2*x**2 - 4*x + 5, x > 1], x) is None 24 assert minimize([x**2 - 1, 27 assert minimize(sign(x), x) == (-1, {x: 0}) 63 assert minimize([2*x + 3*y - z, 1 <= x + y + z, 69 assert minimize([-2*t + 4*w + 7*x + y + 5*z, [all …]
|
/dports/devel/tcllib/tcllib-1.20/modules/grammar_fa/tests/ |
H A D | faop_minimize.test | 10 test faop-minimize-${setimpl}-1.0 {minimize, error} { 16 test faop-minimize-${setimpl}-1.1 {minimize, error} { 22 test faop-minimize-${setimpl}-1.2 {minimize, error} { 46 test faop-minimize-${setimpl}-2.$key {minimize, bounded} { 51 grammar::fa::op::minimize a map 59 test faop-minimize-${setimpl}-3.$key {minimize, bounded, as method} { 64 a minimize map 92 test faop-minimize-${setimpl}-4.$key {minimize, unbounded} { 95 grammar::fa::op::minimize a map 103 test faop-minimize-${setimpl}-5.$key {minimize, unbounded, as method} { [all …]
|
/dports/devel/tcllibc/tcllib-1.20/modules/grammar_fa/tests/ |
H A D | faop_minimize.test | 10 test faop-minimize-${setimpl}-1.0 {minimize, error} { 16 test faop-minimize-${setimpl}-1.1 {minimize, error} { 22 test faop-minimize-${setimpl}-1.2 {minimize, error} { 46 test faop-minimize-${setimpl}-2.$key {minimize, bounded} { 51 grammar::fa::op::minimize a map 59 test faop-minimize-${setimpl}-3.$key {minimize, bounded, as method} { 64 a minimize map 92 test faop-minimize-${setimpl}-4.$key {minimize, unbounded} { 95 grammar::fa::op::minimize a map 103 test faop-minimize-${setimpl}-5.$key {minimize, unbounded, as method} { [all …]
|
/dports/x11-themes/mate-themes/mate-themes-3.22.23/desktop-themes/BlueMenta/gtk-3.0/ |
H A D | window-controls.css | 2 headerbar .right button.minimize.titlebutton, 3 headerbar .right:dir(rtl) button.minimize.titlebutton, 4 headerbar .left button.minimize.titlebutton, 5 headerbar .left:dir(rtl) button.minimize.titlebutton, 26 /* minimize */ 32 headerbar .right button.minimize.titlebutton, 34 headerbar .left button.minimize.titlebutton, 43 headerbar .right button.minimize.titlebutton:hover, 45 headerbar .left button.minimize.titlebutton:hover, 200 headerbar button.minimize.titlebutton, [all …]
|
/dports/x11-themes/mate-themes/mate-themes-3.22.23/desktop-themes/Menta/gtk-3.0/ |
H A D | window-controls.css | 2 headerbar .right button.minimize.titlebutton, 3 headerbar .right:dir(rtl) button.minimize.titlebutton, 4 headerbar .left button.minimize.titlebutton, 5 headerbar .left:dir(rtl) button.minimize.titlebutton, 26 /* minimize */ 32 headerbar .right button.minimize.titlebutton, 34 headerbar .left button.minimize.titlebutton, 43 headerbar .right button.minimize.titlebutton:hover, 45 headerbar .left button.minimize.titlebutton:hover, 200 headerbar button.minimize.titlebutton, [all …]
|
/dports/x11-themes/mate-themes/mate-themes-3.22.23/desktop-themes/BlackMATE/gtk-3.0/ |
H A D | window-controls.css | 2 headerbar button.minimize.titlebutton, 5 headerbar button.minimize.titlebutton:backdrop, 9 headerbar .right button.minimize.titlebutton, 13 headerbar .left button.minimize.titlebutton, 45 /* minimize */ 47 headerbar button.minimize.titlebutton, 48 headerbar .right button.minimize.titlebutton, 50 headerbar .left button.minimize.titlebutton, 55 headerbar button.minimize.titlebutton:hover, 63 headerbar button.minimize.titlebutton:active, [all …]
|
/dports/x11-themes/mate-themes/mate-themes-3.22.23/desktop-themes/GreenLaguna/gtk-3.0/ |
H A D | window-controls.css | 1 headerbar .right button.minimize.titlebutton, 2 headerbar .right:dir(rtl) button.minimize.titlebutton, 3 headerbar .left button.minimize.titlebutton, 4 headerbar .left:dir(rtl) button.minimize.titlebutton, 25 /* minimize */ 27 headerbar .right button.minimize.titlebutton, 29 headerbar .left button.minimize.titlebutton, 34 headerbar .right button.minimize.titlebutton:hover, 36 headerbar .left button.minimize.titlebutton:hover, 157 headerbar button.minimize.titlebutton, [all …]
|
/dports/lang/spidermonkey60/firefox-60.9.0/testing/web-platform/tests/webdriver/tests/ |
H A D | minimize_window.py | 9 def minimize(session): function 24 response = minimize(session) 64 response = minimize(session) 69 response = minimize(session) 74 response = minimize(session) 103 response = minimize(session) 110 response = minimize(session) 116 response = minimize(session) 140 response = minimize(session) 162 response = minimize(session) [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Optimization/ |
H A D | Basics.hs | 27 , ("08_unsigned_min", sWord8 "x" >>= minimize "m") 29 , ("16_unsigned_min", sWord16 "x" >>= minimize "m") 31 , ("32_unsigned_min", sWord32 "x" >>= minimize "m") 33 , ("64_unsigned_min", sWord64 "x" >>= minimize "m") 35 , ("08_signed_min", sInt8 "x" >>= minimize "m") 37 , ("16_signed_min", sInt16 "x" >>= minimize "m") 39 , ("32_signed_min", sInt32 "x" >>= minimize "m") 41 , ("64_signed_min", sInt64 "x" >>= minimize "m") 62 minimize "x_plus_y" $ x+y
|
/dports/math/frobby/frobby-0.9.1/test/testScripts/ |
H A D | run_minimize_test | 13 $testhelper transform $test.minimize $test.minimize -canon 17 $testhelper transform $test.minimize $test.minimize -minimize -canon 21 $testhelper transform $test.*test $test.minimize $* -canon -minimize
|
/dports/science/py-scipy/scipy-1.7.1/scipy/optimize/tests/ |
H A D | test_slsqp.py | 113 res = minimize(self.fun, [-1.0, 1.0], args=(-1.0, ), 154 res = minimize(self.fun, [-1.0, 1.0], jac=self.jac, 165 res = minimize(self.fun, [-1.0, 1.0], method='SLSQP', 178 res = minimize(self.fun, [-1.0, 1.0], method='SLSQP', 190 res = minimize(self.fun, [-1.0, 1.0], method='SLSQP', 202 res = minimize(self.fun, [-1.0, 1.0], jac=self.jac, 358 res = minimize(self.fun, [-1.0, 1.0], args=(-1.0, ), 377 sol = minimize( 394 sol = minimize( 407 sol = minimize(func, [0, 0, 0], method='SLSQP') [all …]
|
H A D | test_trustregion.py | 12 from scipy.optimize import (minimize, rosen, rosen_der, rosen_hess, 42 r = minimize(rosen, x0, jac=rosen_der, hess=rosen_hess, tol=1e-8, 52 r = minimize(rosen, self.hard_guess, jac=rosen_der, hess=rosen_hess, 69 r_dogleg = minimize(f, x0, jac=g, hess=h, tol=1e-8, 71 r_trust_ncg = minimize(f, x0, jac=g, hess=h, tol=1e-8, 74 r_trust_krylov = minimize(f, x0, jac=g, hess=h, tol=1e-8, 77 r_ncg = minimize(f, x0, jac=g, hess=h, tol=1e-8, 79 r_iterative = minimize(f, x0, jac=g, hess=h, tol=1e-8, 91 r = minimize(rosen, x0, jac=rosen_der, hessp=rosen_hess_prod, 96 r = minimize(rosen, x0=self.x_opt, jac=rosen_der, hess=rosen_hess, [all …]
|
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/algo/ |
H A D | vnl_levenberg_marquardt.h | 66 bool minimize(vnl_vector<double>& x); 67 …bool minimize(vnl_vector_fixed<double,1>& x) { vnl_vector<double> y=x.extract(1); bool b=minimize(… in minimize() function 68 …bool minimize(vnl_vector_fixed<double,2>& x) { vnl_vector<double> y=x.extract(2); bool b=minimize(… in minimize() function 69 …bool minimize(vnl_vector_fixed<double,3>& x) { vnl_vector<double> y=x.extract(3); bool b=minimize(… in minimize() function 70 …bool minimize(vnl_vector_fixed<double,4>& x) { vnl_vector<double> y=x.extract(4); bool b=minimize(… in minimize() function
|
/dports/misc/vxl/vxl-3.3.2/core/vnl/algo/ |
H A D | vnl_levenberg_marquardt.h | 66 bool minimize(vnl_vector<double>& x); 67 …bool minimize(vnl_vector_fixed<double,1>& x) { vnl_vector<double> y=x.extract(1); bool b=minimize(… in minimize() function 68 …bool minimize(vnl_vector_fixed<double,2>& x) { vnl_vector<double> y=x.extract(2); bool b=minimize(… in minimize() function 69 …bool minimize(vnl_vector_fixed<double,3>& x) { vnl_vector<double> y=x.extract(3); bool b=minimize(… in minimize() function 70 …bool minimize(vnl_vector_fixed<double,4>& x) { vnl_vector<double> y=x.extract(4); bool b=minimize(… in minimize() function
|
/dports/x11-themes/plasma5-kde-gtk-config/kde-gtk-config-5.23.5/kded/scss/ |
H A D | window_decorations.scss | 45 &.minimize { 46 background-image: url('assets/minimize-normal.svg'); 48 &.minimize:hover { 49 background-image: url('assets/minimize-hover.svg'); 51 &.minimize:active { 52 background-image: url('assets/minimize-active.svg'); 55 &.minimize:backdrop { 56 background-image: url('assets/minimize-backdrop-normal.svg'); 58 &.minimize:backdrop:hover { 59 background-image: url('assets/minimize-backdrop-hover.svg'); [all …]
|
/dports/games/shockolate/systemshock-0.8.2-43-ga9eb1b93/src/GameSrc/ |
H A D | minimax.c | 99 void minimax_setup(void *boardpos, uint pos_siz, char depth, uchar minimize, int (*evaluator)(void … in minimax_setup() argument 114 FSTACK_PUSHVAR(minimize); // minimize in minimax_setup() 126 uchar minimize; in minimax_step() local 133 FSTACK_POPVAR(minimize); in minimax_step() 150 bestval = minimize ? INT_MAX : INT_MIN; in minimax_step() 152 if ((!minimize) ^ (value < bestval)) { // new value is better than previous in minimax_step() 161 if (bestval == (minimize ? INT_MIN : INT_MAX)) { in minimax_step() 169 if (!generate_position(copy, next_child, minimize)) { // no more children to be had in minimax_step() 182 fstack_create(sizeof(minimize)); in minimax_step() 191 minimize = !minimize; in minimax_step() [all …]
|
/dports/misc/nut/nut-20.1/fltk/ |
H A D | FoodRanking.cc | 39 minimize = -1; in the_cb() 129 minimize = min; in set_minimize() 322 if (minimize == -1) in per_serving_minimize() 356 minimize == num || in per_serving_minimize() 357 (num == VITE && minimize == TOCPHA) || (num == TOCPHA && minimize == VITE) || in per_serving_minimize() 358 (num == LA && minimize == F18D2) || (num == F18D2 && minimize == LA) || in per_serving_minimize() 359 (num == LA && minimize == F18D2CN6) || (num == F18D2CN6 && minimize == LA) || in per_serving_minimize() 360 (num == AA && minimize == F20D4) || (num == F20D4 && minimize == AA) || in per_serving_minimize() 361 (num == ALA && minimize == F18D3) || (num == F18D3 && minimize == ALA) || in per_serving_minimize() 363 (num == EPA && minimize == F20D5) || (num == F20D5 && minimize == EPA) || in per_serving_minimize() [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/testing/web-platform/tests/webdriver/tests/minimize_window/ |
H A D | minimize.py | 7 def minimize(session): function 13 response = minimize(session) 18 response = minimize(session) 26 response = minimize(session) 35 response = minimize(session) 43 response = minimize(session) 63 first_response = minimize(session) 67 second_response = minimize(session)
|
/dports/www/firefox/firefox-99.0/testing/web-platform/tests/webdriver/tests/minimize_window/ |
H A D | minimize.py | 7 def minimize(session): function 13 response = minimize(session) 18 response = minimize(session) 26 response = minimize(session) 35 response = minimize(session) 43 response = minimize(session) 63 first_response = minimize(session) 67 second_response = minimize(session)
|
/dports/mail/thunderbird/thunderbird-91.8.0/testing/web-platform/tests/webdriver/tests/minimize_window/ |
H A D | minimize.py | 7 def minimize(session): function 13 response = minimize(session) 18 response = minimize(session) 26 response = minimize(session) 35 response = minimize(session) 43 response = minimize(session) 63 first_response = minimize(session) 67 second_response = minimize(session)
|