Home
last modified time | relevance | path

Searched refs:minimize (Results 1 – 25 of 10147) sorted by relevance

12345678910>>...406

/dports/math/spot/spot-2.10.2/tests/core/
H A Dsatmin2.test58 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 Dsatmin2.test58 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 Dtest_minimize.py2 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 Dconfig.bench12 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 Dconfig.bench12 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 Dtest_optimization.py15 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 Dfaop_minimize.test10 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 Dfaop_minimize.test10 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 Dwindow-controls.css2 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 Dwindow-controls.css2 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 Dwindow-controls.css2 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 Dwindow-controls.css1 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 Dminimize_window.py9 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 DBasics.hs27 , ("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 Drun_minimize_test13 $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 Dtest_slsqp.py113 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 Dtest_trustregion.py12 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 Dvnl_levenberg_marquardt.h66 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 Dvnl_levenberg_marquardt.h66 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 Dwindow_decorations.scss45 &.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 Dminimax.c99 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 DFoodRanking.cc39 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 Dminimize.py7 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 Dminimize.py7 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 Dminimize.py7 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)

12345678910>>...406