1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!-- Generated with glade 3.16.1 -->
4 <requires lib=
"gtk+" version=
"3.8"/>
5 <object class=
"GtkAdjustment" id=
"adjustment1">
6 <property name=
"lower">1</property>
7 <property name=
"upper">36000</property>
8 <property name=
"value">30</property>
9 <property name=
"step_increment">10</property>
10 <property name=
"page_increment">10</property>
12 <object class=
"GtkAdjustment" id=
"adjustment2">
13 <property name=
"lower">1</property>
14 <property name=
"upper">10000000000</property>
15 <property name=
"value">100</property>
16 <property name=
"step_increment">10</property>
17 <property name=
"page_increment">10</property>
19 <object class=
"GtkAdjustment" id=
"adjustment3">
20 <property name=
"lower">1</property>
21 <property name=
"upper">100</property>
22 <property name=
"value">10</property>
23 <property name=
"step_increment">1</property>
24 <property name=
"page_increment">10</property>
26 <object class=
"GtkListStore" id=
"model1">
28 <!-- column-name gchararray -->
29 <column type=
"gchararray"/>
33 <col id=
"0" translatable=
"yes">≤
</col>
36 <col id=
"0" translatable=
"yes">≥
</col>
39 <col id=
"0" translatable=
"yes">=
</col>
42 <col id=
"0" translatable=
"yes">Int
</col>
45 <col id=
"0" translatable=
"yes">Bool
</col>
49 <object class=
"GtkDialog" id=
"Solver">
50 <property name=
"can_focus">False
</property>
51 <property name=
"title" translatable=
"yes">Solver
</property>
52 <property name=
"window_position">mouse
</property>
53 <property name=
"type_hint">dialog
</property>
54 <child internal-child=
"vbox">
55 <object class=
"GtkBox" id=
"dialog-vbox4">
56 <property name=
"visible">True
</property>
57 <property name=
"can_focus">False
</property>
58 <property name=
"orientation">vertical
</property>
59 <child internal-child=
"action_area">
60 <object class=
"GtkButtonBox" id=
"dialog-action_area4">
61 <property name=
"visible">True
</property>
62 <property name=
"can_focus">False
</property>
63 <property name=
"layout_style">end
</property>
65 <object class=
"GtkButton" id=
"helpbutton">
66 <property name=
"label">gtk-help
</property>
67 <property name=
"use_action_appearance">False
</property>
68 <property name=
"visible">True
</property>
69 <property name=
"can_focus">True
</property>
70 <property name=
"can_default">True
</property>
71 <property name=
"receives_default">False
</property>
72 <property name=
"use_stock">True
</property>
75 <property name=
"expand">False
</property>
76 <property name=
"fill">False
</property>
77 <property name=
"position">0</property>
81 <object class=
"GtkButton" id=
"closebutton">
82 <property name=
"label">gtk-close
</property>
83 <property name=
"use_action_appearance">False
</property>
84 <property name=
"visible">True
</property>
85 <property name=
"can_focus">True
</property>
86 <property name=
"can_default">True
</property>
87 <property name=
"receives_default">False
</property>
88 <property name=
"use_stock">True
</property>
91 <property name=
"expand">False
</property>
92 <property name=
"fill">False
</property>
93 <property name=
"position">1</property>
97 <object class=
"GtkButton" id=
"solvebutton">
98 <property name=
"label" translatable=
"yes">Solve
</property>
99 <property name=
"use_action_appearance">False
</property>
100 <property name=
"visible">True
</property>
101 <property name=
"can_focus">True
</property>
102 <property name=
"can_default">True
</property>
103 <property name=
"has_default">True
</property>
104 <property name=
"receives_default">False
</property>
105 <property name=
"use_underline">True
</property>
108 <property name=
"expand">False
</property>
109 <property name=
"fill">False
</property>
110 <property name=
"position">2</property>
114 <object class=
"GtkButton" id=
"stopbutton">
115 <property name=
"label">gtk-stop
</property>
116 <property name=
"can_focus">True
</property>
117 <property name=
"receives_default">True
</property>
118 <property name=
"tooltip_text" translatable=
"yes">Stop the running solver
</property>
119 <property name=
"use_stock">True
</property>
122 <property name=
"expand">False
</property>
123 <property name=
"fill">True
</property>
124 <property name=
"position">3</property>
129 <property name=
"expand">False
</property>
130 <property name=
"fill">True
</property>
131 <property name=
"pack_type">end
</property>
132 <property name=
"position">0</property>
136 <object class=
"GtkNotebook" id=
"solver_notebook">
137 <property name=
"visible">True
</property>
138 <property name=
"can_focus">True
</property>
139 <property name=
"border_width">10</property>
141 <object class=
"GtkGrid" id=
"parameter-grid">
142 <property name=
"visible">True
</property>
143 <property name=
"can_focus">False
</property>
144 <property name=
"border_width">12</property>
145 <property name=
"row_spacing">6</property>
146 <property name=
"column_spacing">12</property>
148 <object class=
"GtkLabel" id=
"label14">
149 <property name=
"visible">True
</property>
150 <property name=
"can_focus">False
</property>
151 <property name=
"xalign">0</property>
152 <property name=
"label" translatable=
"yes">_Set Target Cell:
</property>
153 <property name=
"use_underline">True
</property>
156 <property name=
"left_attach">0</property>
157 <property name=
"top_attach">0</property>
158 <property name=
"width">1</property>
159 <property name=
"height">1</property>
163 <object class=
"GtkLabel" id=
"label1">
164 <property name=
"visible">True
</property>
165 <property name=
"can_focus">False
</property>
166 <property name=
"xalign">0</property>
167 <property name=
"label" translatable=
"yes">_Equal To:
</property>
168 <property name=
"use_underline">True
</property>
171 <property name=
"left_attach">0</property>
172 <property name=
"top_attach">1</property>
173 <property name=
"width">1</property>
174 <property name=
"height">1</property>
178 <object class=
"GtkLabel" id=
"label15">
179 <property name=
"visible">True
</property>
180 <property name=
"can_focus">False
</property>
181 <property name=
"xalign">0</property>
182 <property name=
"label" translatable=
"yes">B_y Changing Cells:
</property>
183 <property name=
"use_underline">True
</property>
186 <property name=
"left_attach">0</property>
187 <property name=
"top_attach">2</property>
188 <property name=
"width">1</property>
189 <property name=
"height">1</property>
193 <object class=
"GtkRadioButton" id=
"max_button">
194 <property name=
"label" translatable=
"yes">_Max
</property>
195 <property name=
"use_action_appearance">False
</property>
196 <property name=
"visible">True
</property>
197 <property name=
"can_focus">True
</property>
198 <property name=
"receives_default">False
</property>
199 <property name=
"use_underline">True
</property>
200 <property name=
"xalign">0</property>
201 <property name=
"active">True
</property>
202 <property name=
"draw_indicator">True
</property>
205 <property name=
"left_attach">1</property>
206 <property name=
"top_attach">1</property>
207 <property name=
"width">1</property>
208 <property name=
"height">1</property>
212 <object class=
"GtkRadioButton" id=
"min_button">
213 <property name=
"label" translatable=
"yes">M_in
</property>
214 <property name=
"use_action_appearance">False
</property>
215 <property name=
"visible">True
</property>
216 <property name=
"can_focus">True
</property>
217 <property name=
"receives_default">False
</property>
218 <property name=
"use_underline">True
</property>
219 <property name=
"xalign">0</property>
220 <property name=
"draw_indicator">True
</property>
221 <property name=
"group">max_button
</property>
224 <property name=
"left_attach">2</property>
225 <property name=
"top_attach">1</property>
226 <property name=
"width">1</property>
227 <property name=
"height">1</property>
245 <object class=
"GtkLabel" id=
"label9">
246 <property name=
"visible">True
</property>
247 <property name=
"can_focus">False
</property>
248 <property name=
"label" translatable=
"yes">Parameters
</property>
249 <property name=
"justify">center
</property>
252 <property name=
"tab_fill">False
</property>
256 <object class=
"GtkGrid" id=
"model-grid">
257 <property name=
"visible">True
</property>
258 <property name=
"can_focus">False
</property>
259 <property name=
"border_width">12</property>
260 <property name=
"row_spacing">6</property>
261 <property name=
"column_spacing">12</property>
263 <object class=
"GtkRadioButton" id=
"lp_model_button">
264 <property name=
"label" translatable=
"yes">_Linear Model (LP/MILP)
</property>
265 <property name=
"use_action_appearance">False
</property>
266 <property name=
"visible">True
</property>
267 <property name=
"can_focus">True
</property>
268 <property name=
"receives_default">False
</property>
269 <property name=
"use_underline">True
</property>
270 <property name=
"xalign">0</property>
271 <property name=
"draw_indicator">True
</property>
272 <property name=
"group">qp_model_button
</property>
275 <property name=
"left_attach">0</property>
276 <property name=
"top_attach">0</property>
277 <property name=
"width">2</property>
278 <property name=
"height">1</property>
282 <object class=
"GtkRadioButton" id=
"qp_model_button">
283 <property name=
"label" translatable=
"yes">_Quadratic Model (QP/MIQP)
</property>
284 <property name=
"use_action_appearance">False
</property>
285 <property name=
"visible">True
</property>
286 <property name=
"can_focus">True
</property>
287 <property name=
"receives_default">False
</property>
288 <property name=
"use_underline">True
</property>
289 <property name=
"xalign">0</property>
290 <property name=
"active">True
</property>
291 <property name=
"draw_indicator">True
</property>
294 <property name=
"left_attach">0</property>
295 <property name=
"top_attach">1</property>
296 <property name=
"width">2</property>
297 <property name=
"height">1</property>
301 <object class=
"GtkRadioButton" id=
"nlp_model_button">
302 <property name=
"label" translatable=
"yes">_Non-Linear Model
</property>
303 <property name=
"use_action_appearance">False
</property>
304 <property name=
"visible">True
</property>
305 <property name=
"can_focus">True
</property>
306 <property name=
"receives_default">False
</property>
307 <property name=
"use_underline">True
</property>
308 <property name=
"xalign">0</property>
309 <property name=
"draw_indicator">True
</property>
310 <property name=
"group">qp_model_button
</property>
313 <property name=
"left_attach">0</property>
314 <property name=
"top_attach">2</property>
315 <property name=
"width">2</property>
316 <property name=
"height">1</property>
320 <object class=
"GtkSeparator" id=
"hseparator1">
321 <property name=
"visible">True
</property>
322 <property name=
"can_focus">False
</property>
325 <property name=
"left_attach">0</property>
326 <property name=
"top_attach">3</property>
327 <property name=
"width">2</property>
328 <property name=
"height">1</property>
332 <object class=
"GtkCheckButton" id=
"non_neg_button">
333 <property name=
"label" translatable=
"yes">_Assume Non-Negative
</property>
334 <property name=
"use_action_appearance">False
</property>
335 <property name=
"visible">True
</property>
336 <property name=
"can_focus">True
</property>
337 <property name=
"receives_default">False
</property>
338 <property name=
"use_underline">True
</property>
339 <property name=
"xalign">0</property>
340 <property name=
"active">True
</property>
341 <property name=
"draw_indicator">True
</property>
344 <property name=
"left_attach">0</property>
345 <property name=
"top_attach">4</property>
346 <property name=
"width">1</property>
347 <property name=
"height">1</property>
351 <object class=
"GtkCheckButton" id=
"all_int_button">
352 <property name=
"label" translatable=
"yes">Assume _Integer (Discrete)
</property>
353 <property name=
"use_action_appearance">False
</property>
354 <property name=
"visible">True
</property>
355 <property name=
"can_focus">True
</property>
356 <property name=
"receives_default">False
</property>
357 <property name=
"use_underline">True
</property>
358 <property name=
"xalign">0</property>
359 <property name=
"draw_indicator">True
</property>
362 <property name=
"left_attach">1</property>
363 <property name=
"top_attach">4</property>
364 <property name=
"width">1</property>
365 <property name=
"height">1</property>
369 <object class=
"GtkLabel" id=
"label21">
370 <property name=
"visible">True
</property>
371 <property name=
"can_focus">False
</property>
372 <property name=
"xalign">0.88999998569488525</property>
373 <property name=
"label" translatable=
"yes">_Algorithm:
</property>
374 <property name=
"use_underline">True
</property>
377 <property name=
"left_attach">0</property>
378 <property name=
"top_attach">5</property>
379 <property name=
"width">1</property>
380 <property name=
"height">1</property>
384 <object class=
"GtkComboBox" id=
"algorithm_combo">
385 <property name=
"visible">True
</property>
386 <property name=
"can_focus">False
</property>
387 <property name=
"hexpand">True
</property>
390 <property name=
"left_attach">1</property>
391 <property name=
"top_attach">5</property>
392 <property name=
"width">1</property>
393 <property name=
"height">1</property>
398 <property name=
"position">1</property>
402 <object class=
"GtkLabel" id=
"label25">
403 <property name=
"visible">True
</property>
404 <property name=
"can_focus">False
</property>
405 <property name=
"label" translatable=
"yes">Model
</property>
408 <property name=
"position">1</property>
409 <property name=
"tab_fill">False
</property>
413 <object class=
"GtkGrid" id=
"constraints-grid">
414 <property name=
"visible">True
</property>
415 <property name=
"can_focus">False
</property>
416 <property name=
"border_width">12</property>
417 <property name=
"row_spacing">6</property>
418 <property name=
"column_spacing">12</property>
420 <object class=
"GtkScrolledWindow" id=
"scrolledwindow1">
421 <property name=
"visible">True
</property>
422 <property name=
"can_focus">True
</property>
423 <property name=
"vexpand">True
</property>
424 <property name=
"hscrollbar_policy">never
</property>
426 <object class=
"GtkTreeView" id=
"constraint_list">
427 <property name=
"visible">True
</property>
428 <property name=
"can_focus">True
</property>
429 <child internal-child=
"selection">
430 <object class=
"GtkTreeSelection" id=
"treeview-selection"/>
436 <property name=
"left_attach">0</property>
437 <property name=
"top_attach">0</property>
438 <property name=
"width">3</property>
439 <property name=
"height">3</property>
443 <object class=
"GtkLabel" id=
"lhs_label">
444 <property name=
"visible">True
</property>
445 <property name=
"can_focus">False
</property>
446 <property name=
"hexpand">True
</property>
447 <property name=
"label" translatable=
"yes">_Left Hand Side:
</property>
448 <property name=
"use_underline">True
</property>
449 <property name=
"justify">center
</property>
452 <property name=
"left_attach">0</property>
453 <property name=
"top_attach">3</property>
454 <property name=
"width">1</property>
455 <property name=
"height">1</property>
459 <object class=
"GtkLabel" id=
"label12">
460 <property name=
"visible">True
</property>
461 <property name=
"can_focus">False
</property>
462 <property name=
"label" translatable=
"yes">_Type:
</property>
463 <property name=
"use_underline">True
</property>
464 <property name=
"justify">center
</property>
465 <property name=
"mnemonic_widget">type_menu
</property>
468 <property name=
"left_attach">1</property>
469 <property name=
"top_attach">3</property>
470 <property name=
"width">1</property>
471 <property name=
"height">1</property>
475 <object class=
"GtkLabel" id=
"rhs_label">
476 <property name=
"visible">True
</property>
477 <property name=
"can_focus">False
</property>
478 <property name=
"hexpand">True
</property>
479 <property name=
"label" translatable=
"yes">_Right Hand Side:
</property>
480 <property name=
"use_underline">True
</property>
481 <property name=
"justify">center
</property>
482 <property name=
"mnemonic_widget">addbutton
</property>
485 <property name=
"left_attach">2</property>
486 <property name=
"top_attach">3</property>
487 <property name=
"width">1</property>
488 <property name=
"height">1</property>
492 <object class=
"GtkComboBox" id=
"type_menu">
493 <property name=
"visible">True
</property>
494 <property name=
"can_focus">False
</property>
495 <property name=
"model">model1
</property>
497 <object class=
"GtkCellRendererText" id=
"renderer1"/>
499 <attribute name=
"text">0</attribute>
504 <property name=
"left_attach">1</property>
505 <property name=
"top_attach">4</property>
506 <property name=
"width">1</property>
507 <property name=
"height">1</property>
511 <object class=
"GtkButton" id=
"deletebutton">
512 <property name=
"label">gtk-remove
</property>
513 <property name=
"use_action_appearance">False
</property>
514 <property name=
"visible">True
</property>
515 <property name=
"can_focus">True
</property>
516 <property name=
"receives_default">True
</property>
517 <property name=
"valign">end
</property>
518 <property name=
"use_stock">True
</property>
521 <property name=
"left_attach">3</property>
522 <property name=
"top_attach">2</property>
523 <property name=
"width">1</property>
524 <property name=
"height">1</property>
528 <object class=
"GtkButton" id=
"addbutton">
529 <property name=
"label">gtk-add
</property>
530 <property name=
"use_action_appearance">False
</property>
531 <property name=
"visible">True
</property>
532 <property name=
"can_focus">True
</property>
533 <property name=
"receives_default">True
</property>
534 <property name=
"relief">half
</property>
535 <property name=
"use_stock">True
</property>
538 <property name=
"left_attach">3</property>
539 <property name=
"top_attach">3</property>
540 <property name=
"width">1</property>
541 <property name=
"height">1</property>
545 <object class=
"GtkButton" id=
"changebutton">
546 <property name=
"label" translatable=
"yes">Re_place
</property>
547 <property name=
"use_action_appearance">False
</property>
548 <property name=
"visible">True
</property>
549 <property name=
"can_focus">True
</property>
550 <property name=
"receives_default">True
</property>
551 <property name=
"use_underline">True
</property>
554 <property name=
"left_attach">3</property>
555 <property name=
"top_attach">4</property>
556 <property name=
"width">1</property>
557 <property name=
"height">1</property>
574 <property name=
"position">2</property>
578 <object class=
"GtkLabel" id=
"label10">
579 <property name=
"visible">True
</property>
580 <property name=
"can_focus">False
</property>
581 <property name=
"label" translatable=
"yes">Constraints
</property>
582 <property name=
"justify">center
</property>
585 <property name=
"position">2</property>
586 <property name=
"tab_fill">False
</property>
590 <object class=
"GtkGrid" id=
"options-grid">
591 <property name=
"visible">True
</property>
592 <property name=
"can_focus">False
</property>
593 <property name=
"border_width">12</property>
594 <property name=
"row_spacing">6</property>
595 <property name=
"column_spacing">12</property>
597 <object class=
"GtkLabel" id=
"label19">
598 <property name=
"width_request">154</property>
599 <property name=
"visible">True
</property>
600 <property name=
"can_focus">False
</property>
601 <property name=
"xalign">0</property>
602 <property name=
"label" translatable=
"yes">Max _Iterations:
</property>
603 <property name=
"use_underline">True
</property>
604 <property name=
"mnemonic_widget">max_iter_entry
</property>
607 <property name=
"left_attach">0</property>
608 <property name=
"top_attach">0</property>
609 <property name=
"width">1</property>
610 <property name=
"height">1</property>
614 <object class=
"GtkLabel" id=
"label20">
615 <property name=
"visible">True
</property>
616 <property name=
"can_focus">False
</property>
617 <property name=
"xalign">0</property>
618 <property name=
"label" translatable=
"yes">Max _Time (sec.):
</property>
619 <property name=
"use_underline">True
</property>
620 <property name=
"mnemonic_widget">max_time_entry
</property>
623 <property name=
"left_attach">0</property>
624 <property name=
"top_attach">1</property>
625 <property name=
"width">1</property>
626 <property name=
"height">1</property>
630 <object class=
"GtkSpinButton" id=
"max_iter_entry">
631 <property name=
"visible">True
</property>
632 <property name=
"can_focus">True
</property>
633 <property name=
"tooltip_text" translatable=
"yes">The maximum number of steps allowed for the solver
</property>
634 <property name=
"hexpand">True
</property>
635 <property name=
"invisible_char">●
</property>
636 <property name=
"adjustment">adjustment2
</property>
637 <property name=
"climb_rate">1</property>
640 <property name=
"left_attach">1</property>
641 <property name=
"top_attach">0</property>
642 <property name=
"width">1</property>
643 <property name=
"height">1</property>
647 <object class=
"GtkSpinButton" id=
"max_time_entry">
648 <property name=
"visible">True
</property>
649 <property name=
"can_focus">True
</property>
650 <property name=
"tooltip_text" translatable=
"yes">The maximum time allowed for the solver
</property>
651 <property name=
"invisible_char">●
</property>
652 <property name=
"adjustment">adjustment1
</property>
653 <property name=
"climb_rate">1</property>
656 <property name=
"left_attach">1</property>
657 <property name=
"top_attach">1</property>
658 <property name=
"width">1</property>
659 <property name=
"height">1</property>
663 <object class=
"GtkCheckButton" id=
"autoscale_button">
664 <property name=
"label" translatable=
"yes">Automatic _Scaling
</property>
665 <property name=
"use_action_appearance">False
</property>
666 <property name=
"visible">True
</property>
667 <property name=
"can_focus">True
</property>
668 <property name=
"receives_default">False
</property>
669 <property name=
"use_underline">True
</property>
670 <property name=
"xalign">0</property>
671 <property name=
"draw_indicator">True
</property>
674 <property name=
"left_attach">0</property>
675 <property name=
"top_attach">3</property>
676 <property name=
"width">2</property>
677 <property name=
"height">1</property>
681 <object class=
"GtkLabel" id=
"label7">
682 <property name=
"visible">True
</property>
683 <property name=
"can_focus">False
</property>
684 <property name=
"label" translatable=
"yes">Gradient order:
</property>
687 <property name=
"left_attach">0</property>
688 <property name=
"top_attach">2</property>
689 <property name=
"width">1</property>
690 <property name=
"height">1</property>
694 <object class=
"GtkSpinButton" id=
"gradient_order_entry">
695 <property name=
"visible">True
</property>
696 <property name=
"can_focus">True
</property>
697 <property name=
"tooltip_text" translatable=
"yes">The number of data points used on each side when doing numerical differentiation
</property>
698 <property name=
"adjustment">adjustment3
</property>
699 <property name=
"snap_to_ticks">True
</property>
700 <property name=
"numeric">True
</property>
703 <property name=
"left_attach">1</property>
704 <property name=
"top_attach">2</property>
705 <property name=
"width">1</property>
706 <property name=
"height">1</property>
711 <property name=
"position">3</property>
715 <object class=
"GtkLabel" id=
"label26">
716 <property name=
"visible">True
</property>
717 <property name=
"can_focus">False
</property>
718 <property name=
"label" translatable=
"yes">Options
</property>
721 <property name=
"position">3</property>
722 <property name=
"tab_fill">False
</property>
726 <object class=
"GtkBox" id=
"vbox8">
727 <property name=
"visible">True
</property>
728 <property name=
"can_focus">False
</property>
729 <property name=
"border_width">10</property>
730 <property name=
"orientation">vertical
</property>
732 <object class=
"GtkBox" id=
"vbox9">
733 <property name=
"visible">True
</property>
734 <property name=
"can_focus">False
</property>
735 <property name=
"border_width">8</property>
736 <property name=
"orientation">vertical
</property>
737 <property name=
"spacing">5</property>
739 <object class=
"GtkCheckButton" id=
"program">
740 <property name=
"label" translatable=
"yes">P_rogram
</property>
741 <property name=
"visible">True
</property>
742 <property name=
"can_focus">True
</property>
743 <property name=
"receives_default">False
</property>
744 <property name=
"use_underline">True
</property>
745 <property name=
"xalign">0</property>
746 <property name=
"draw_indicator">True
</property>
749 <property name=
"expand">False
</property>
750 <property name=
"fill">False
</property>
751 <property name=
"position">0</property>
755 <object class=
"GtkCheckButton" id=
"sensitivity">
756 <property name=
"label" translatable=
"yes">_Sensitivity
</property>
757 <property name=
"visible">True
</property>
758 <property name=
"can_focus">True
</property>
759 <property name=
"receives_default">False
</property>
760 <property name=
"use_underline">True
</property>
761 <property name=
"xalign">0</property>
762 <property name=
"draw_indicator">True
</property>
765 <property name=
"expand">False
</property>
766 <property name=
"fill">False
</property>
767 <property name=
"position">1</property>
772 <property name=
"expand">True
</property>
773 <property name=
"fill">True
</property>
774 <property name=
"position">0</property>
779 <property name=
"position">4</property>
783 <object class=
"GtkLabel" id=
"label16">
784 <property name=
"visible">True
</property>
785 <property name=
"can_focus">False
</property>
786 <property name=
"label" translatable=
"yes">Reports
</property>
787 <property name=
"justify">center
</property>
790 <property name=
"position">4</property>
791 <property name=
"tab_fill">False
</property>
795 <object class=
"GtkBox" id=
"vbox10">
796 <property name=
"visible">True
</property>
797 <property name=
"can_focus">False
</property>
798 <property name=
"border_width">8</property>
799 <property name=
"orientation">vertical
</property>
800 <property name=
"spacing">5</property>
802 <object class=
"GtkRadioButton" id=
"no_scenario">
803 <property name=
"label" translatable=
"yes">_Do not create scenarios
</property>
804 <property name=
"use_action_appearance">False
</property>
805 <property name=
"visible">True
</property>
806 <property name=
"can_focus">True
</property>
807 <property name=
"receives_default">False
</property>
808 <property name=
"use_underline">True
</property>
809 <property name=
"xalign">0</property>
810 <property name=
"draw_indicator">True
</property>
813 <property name=
"expand">False
</property>
814 <property name=
"fill">False
</property>
815 <property name=
"position">0</property>
819 <object class=
"GtkRadioButton" id=
"optimal_scenario">
820 <property name=
"label" translatable=
"yes">_Create a scenario if the optimal solution is found
</property>
821 <property name=
"use_action_appearance">False
</property>
822 <property name=
"visible">True
</property>
823 <property name=
"can_focus">True
</property>
824 <property name=
"receives_default">False
</property>
825 <property name=
"use_underline">True
</property>
826 <property name=
"xalign">0</property>
827 <property name=
"draw_indicator">True
</property>
828 <property name=
"group">no_scenario
</property>
831 <property name=
"expand">False
</property>
832 <property name=
"fill">False
</property>
833 <property name=
"position">1</property>
837 <object class=
"GtkBox" id=
"hbox9">
838 <property name=
"visible">True
</property>
839 <property name=
"can_focus">False
</property>
841 <object class=
"GtkLabel" id=
"label24">
842 <property name=
"visible">True
</property>
843 <property name=
"can_focus">False
</property>
844 <property name=
"label" translatable=
"yes">_Name:
</property>
845 <property name=
"use_underline">True
</property>
846 <property name=
"mnemonic_widget">scenario_name_entry
</property>
849 <property name=
"expand">False
</property>
850 <property name=
"fill">False
</property>
851 <property name=
"position">0</property>
855 <object class=
"GtkEntry" id=
"scenario_name_entry">
856 <property name=
"visible">True
</property>
857 <property name=
"can_focus">True
</property>
860 <property name=
"expand">True
</property>
861 <property name=
"fill">True
</property>
862 <property name=
"position">1</property>
867 <property name=
"expand">False
</property>
868 <property name=
"fill">True
</property>
869 <property name=
"position">2</property>
877 <property name=
"position">5</property>
881 <object class=
"GtkLabel" id=
"label27">
882 <property name=
"visible">True
</property>
883 <property name=
"can_focus">False
</property>
884 <property name=
"label" translatable=
"yes">Scenarios
</property>
887 <property name=
"position">5</property>
888 <property name=
"tab_fill">False
</property>
892 <object class=
"GtkGrid" id=
"grid1">
893 <property name=
"visible">True
</property>
894 <property name=
"can_focus">False
</property>
895 <property name=
"valign">center
</property>
896 <property name=
"hexpand">True
</property>
897 <property name=
"border_width">6</property>
898 <property name=
"row_spacing">6</property>
899 <property name=
"column_spacing">12</property>
901 <object class=
"GtkLabel" id=
"label3">
902 <property name=
"visible">True
</property>
903 <property name=
"can_focus">False
</property>
904 <property name=
"xalign">1</property>
905 <property name=
"label" translatable=
"yes">Solver Status:
</property>
908 <property name=
"left_attach">0</property>
909 <property name=
"top_attach">0</property>
910 <property name=
"width">1</property>
911 <property name=
"height">1</property>
915 <object class=
"GtkLabel" id=
"label4">
916 <property name=
"visible">True
</property>
917 <property name=
"can_focus">False
</property>
918 <property name=
"xalign">1</property>
919 <property name=
"label" translatable=
"yes">Problem Status:
</property>
922 <property name=
"left_attach">0</property>
923 <property name=
"top_attach">1</property>
924 <property name=
"width">1</property>
925 <property name=
"height">1</property>
929 <object class=
"GtkLabel" id=
"label5">
930 <property name=
"visible">True
</property>
931 <property name=
"can_focus">False
</property>
932 <property name=
"xalign">1</property>
933 <property name=
"label" translatable=
"yes">Objective Value:
</property>
936 <property name=
"left_attach">0</property>
937 <property name=
"top_attach">2</property>
938 <property name=
"width">1</property>
939 <property name=
"height">1</property>
943 <object class=
"GtkLabel" id=
"label6">
944 <property name=
"visible">True
</property>
945 <property name=
"can_focus">False
</property>
946 <property name=
"xalign">1</property>
947 <property name=
"label" translatable=
"yes">Elapsed Time:
</property>
950 <property name=
"left_attach">0</property>
951 <property name=
"top_attach">3</property>
952 <property name=
"width">1</property>
953 <property name=
"height">1</property>
957 <object class=
"GtkLabel" id=
"solver_status_label">
958 <property name=
"visible">True
</property>
959 <property name=
"can_focus">False
</property>
960 <property name=
"hexpand">True
</property>
961 <property name=
"xalign">0</property>
962 <property name=
"yalign">0</property>
965 <property name=
"left_attach">1</property>
966 <property name=
"top_attach">0</property>
967 <property name=
"width">1</property>
968 <property name=
"height">1</property>
972 <object class=
"GtkLabel" id=
"problem_status_label">
973 <property name=
"visible">True
</property>
974 <property name=
"can_focus">False
</property>
975 <property name=
"hexpand">True
</property>
976 <property name=
"xalign">0</property>
977 <property name=
"yalign">0</property>
980 <property name=
"left_attach">1</property>
981 <property name=
"top_attach">1</property>
982 <property name=
"width">1</property>
983 <property name=
"height">1</property>
987 <object class=
"GtkLabel" id=
"objective_value_label">
988 <property name=
"visible">True
</property>
989 <property name=
"can_focus">False
</property>
990 <property name=
"hexpand">True
</property>
991 <property name=
"xalign">0</property>
992 <property name=
"yalign">0</property>
995 <property name=
"left_attach">1</property>
996 <property name=
"top_attach">2</property>
997 <property name=
"width">1</property>
998 <property name=
"height">1</property>
1002 <object class=
"GtkLabel" id=
"elapsed_time_label">
1003 <property name=
"visible">True
</property>
1004 <property name=
"can_focus">False
</property>
1005 <property name=
"hexpand">True
</property>
1006 <property name=
"xalign">0</property>
1007 <property name=
"yalign">0</property>
1010 <property name=
"left_attach">1</property>
1011 <property name=
"top_attach">3</property>
1012 <property name=
"width">1</property>
1013 <property name=
"height">1</property>
1017 <object class=
"GtkSpinner" id=
"run_spinner">
1018 <property name=
"width_request">80</property>
1019 <property name=
"can_focus">False
</property>
1020 <property name=
"active">True
</property>
1023 <property name=
"left_attach">2</property>
1024 <property name=
"top_attach">0</property>
1025 <property name=
"width">1</property>
1026 <property name=
"height">4</property>
1031 <property name=
"position">6</property>
1035 <object class=
"GtkLabel" id=
"label2">
1036 <property name=
"visible">True
</property>
1037 <property name=
"can_focus">False
</property>
1038 <property name=
"label" translatable=
"yes">Results
</property>
1041 <property name=
"position">6</property>
1042 <property name=
"tab_fill">False
</property>
1047 <property name=
"expand">False
</property>
1048 <property name=
"fill">True
</property>
1049 <property name=
"position">1</property>
1055 <action-widget response=
"0">helpbutton
</action-widget>
1056 <action-widget response=
"0">closebutton
</action-widget>
1057 <action-widget response=
"0">solvebutton
</action-widget>