src/dialogs/solver.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.16.1 -->
   3 <interface>
   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>
  11   </object>
  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>
  18   </object>
  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>
  25   </object>
  26   <object class="GtkListStore" id="model1">
  27     <columns>
  28       <!-- column-name gchararray -->
  29       <column type="gchararray"/>
  30     </columns>
  31     <data>
  32       <row>
  33         <col id="0" translatable="yes">≤</col>
  34       </row>
  35       <row>
  36         <col id="0" translatable="yes">≥</col>
  37       </row>
  38       <row>
  39         <col id="0" translatable="yes">=</col>
  40       </row>
  41       <row>
  42         <col id="0" translatable="yes">Int</col>
  43       </row>
  44       <row>
  45         <col id="0" translatable="yes">Bool</col>
  46       </row>
  47     </data>
  48   </object>
  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>
  64             <child>
  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>
  73               </object>
  74               <packing>
  75                 <property name="expand">False</property>
  76                 <property name="fill">False</property>
  77                 <property name="position">0</property>
  78               </packing>
  79             </child>
  80             <child>
  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>
  89               </object>
  90               <packing>
  91                 <property name="expand">False</property>
  92                 <property name="fill">False</property>
  93                 <property name="position">1</property>
  94               </packing>
  95             </child>
  96             <child>
  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>
 106               </object>
 107               <packing>
 108                 <property name="expand">False</property>
 109                 <property name="fill">False</property>
 110                 <property name="position">2</property>
 111               </packing>
 112             </child>
 113             <child>
 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>
 120               </object>
 121               <packing>
 122                 <property name="expand">False</property>
 123                 <property name="fill">True</property>
 124                 <property name="position">3</property>
 125               </packing>
 126             </child>
 127           </object>
 128           <packing>
 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>
 133           </packing>
 134         </child>
 135         <child>
 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>
 140             <child>
 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>
 147                 <child>
 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>
 154                   </object>
 155                   <packing>
 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>
 160                   </packing>
 161                 </child>
 162                 <child>
 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>
 169                   </object>
 170                   <packing>
 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>
 175                   </packing>
 176                 </child>
 177                 <child>
 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>
 184                   </object>
 185                   <packing>
 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>
 190                   </packing>
 191                 </child>
 192                 <child>
 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>
 203                   </object>
 204                   <packing>
 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>
 209                   </packing>
 210                 </child>
 211                 <child>
 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>
 222                   </object>
 223                   <packing>
 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>
 228                   </packing>
 229                 </child>
 230                 <child>
 231                   <placeholder/>
 232                 </child>
 233                 <child>
 234                   <placeholder/>
 235                 </child>
 236                 <child>
 237                   <placeholder/>
 238                 </child>
 239                 <child>
 240                   <placeholder/>
 241                 </child>
 242               </object>
 243             </child>
 244             <child type="tab">
 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>
 250               </object>
 251               <packing>
 252                 <property name="tab_fill">False</property>
 253               </packing>
 254             </child>
 255             <child>
 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>
 262                 <child>
 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>
 273                   </object>
 274                   <packing>
 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>
 279                   </packing>
 280                 </child>
 281                 <child>
 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>
 292                   </object>
 293                   <packing>
 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>
 298                   </packing>
 299                 </child>
 300                 <child>
 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>
 311                   </object>
 312                   <packing>
 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>
 317                   </packing>
 318                 </child>
 319                 <child>
 320                   <object class="GtkSeparator" id="hseparator1">
 321                     <property name="visible">True</property>
 322                     <property name="can_focus">False</property>
 323                   </object>
 324                   <packing>
 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>
 329                   </packing>
 330                 </child>
 331                 <child>
 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>
 342                   </object>
 343                   <packing>
 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>
 348                   </packing>
 349                 </child>
 350                 <child>
 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>
 360                   </object>
 361                   <packing>
 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>
 366                   </packing>
 367                 </child>
 368                 <child>
 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>
 375                   </object>
 376                   <packing>
 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>
 381                   </packing>
 382                 </child>
 383                 <child>
 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>
 388                   </object>
 389                   <packing>
 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>
 394                   </packing>
 395                 </child>
 396               </object>
 397               <packing>
 398                 <property name="position">1</property>
 399               </packing>
 400             </child>
 401             <child type="tab">
 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>
 406               </object>
 407               <packing>
 408                 <property name="position">1</property>
 409                 <property name="tab_fill">False</property>
 410               </packing>
 411             </child>
 412             <child>
 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>
 419                 <child>
 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>
 425                     <child>
 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"/>
 431                         </child>
 432                       </object>
 433                     </child>
 434                   </object>
 435                   <packing>
 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>
 440                   </packing>
 441                 </child>
 442                 <child>
 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>
 450                   </object>
 451                   <packing>
 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>
 456                   </packing>
 457                 </child>
 458                 <child>
 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>
 466                   </object>
 467                   <packing>
 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>
 472                   </packing>
 473                 </child>
 474                 <child>
 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>
 483                   </object>
 484                   <packing>
 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>
 489                   </packing>
 490                 </child>
 491                 <child>
 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>
 496                     <child>
 497                       <object class="GtkCellRendererText" id="renderer1"/>
 498                       <attributes>
 499                         <attribute name="text">0</attribute>
 500                       </attributes>
 501                     </child>
 502                   </object>
 503                   <packing>
 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>
 508                   </packing>
 509                 </child>
 510                 <child>
 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>
 519                   </object>
 520                   <packing>
 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>
 525                   </packing>
 526                 </child>
 527                 <child>
 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>
 536                   </object>
 537                   <packing>
 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>
 542                   </packing>
 543                 </child>
 544                 <child>
 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>
 552                   </object>
 553                   <packing>
 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>
 558                   </packing>
 559                 </child>
 560                 <child>
 561                   <placeholder/>
 562                 </child>
 563                 <child>
 564                   <placeholder/>
 565                 </child>
 566                 <child>
 567                   <placeholder/>
 568                 </child>
 569                 <child>
 570                   <placeholder/>
 571                 </child>
 572               </object>
 573               <packing>
 574                 <property name="position">2</property>
 575               </packing>
 576             </child>
 577             <child type="tab">
 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>
 583               </object>
 584               <packing>
 585                 <property name="position">2</property>
 586                 <property name="tab_fill">False</property>
 587               </packing>
 588             </child>
 589             <child>
 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>
 596                 <child>
 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>
 605                   </object>
 606                   <packing>
 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>
 611                   </packing>
 612                 </child>
 613                 <child>
 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>
 621                   </object>
 622                   <packing>
 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>
 627                   </packing>
 628                 </child>
 629                 <child>
 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>
 638                   </object>
 639                   <packing>
 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>
 644                   </packing>
 645                 </child>
 646                 <child>
 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>
 654                   </object>
 655                   <packing>
 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>
 660                   </packing>
 661                 </child>
 662                 <child>
 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>
 672                   </object>
 673                   <packing>
 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>
 678                   </packing>
 679                 </child>
 680                 <child>
 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>
 685                   </object>
 686                   <packing>
 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>
 691                   </packing>
 692                 </child>
 693                 <child>
 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>
 701                   </object>
 702                   <packing>
 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>
 707                   </packing>
 708                 </child>
 709               </object>
 710               <packing>
 711                 <property name="position">3</property>
 712               </packing>
 713             </child>
 714             <child type="tab">
 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>
 719               </object>
 720               <packing>
 721                 <property name="position">3</property>
 722                 <property name="tab_fill">False</property>
 723               </packing>
 724             </child>
 725             <child>
 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>
 731                 <child>
 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>
 738                     <child>
 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>
 747                       </object>
 748                       <packing>
 749                         <property name="expand">False</property>
 750                         <property name="fill">False</property>
 751                         <property name="position">0</property>
 752                       </packing>
 753                     </child>
 754                     <child>
 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>
 763                       </object>
 764                       <packing>
 765                         <property name="expand">False</property>
 766                         <property name="fill">False</property>
 767                         <property name="position">1</property>
 768                       </packing>
 769                     </child>
 770                   </object>
 771                   <packing>
 772                     <property name="expand">True</property>
 773                     <property name="fill">True</property>
 774                     <property name="position">0</property>
 775                   </packing>
 776                 </child>
 777               </object>
 778               <packing>
 779                 <property name="position">4</property>
 780               </packing>
 781             </child>
 782             <child type="tab">
 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>
 788               </object>
 789               <packing>
 790                 <property name="position">4</property>
 791                 <property name="tab_fill">False</property>
 792               </packing>
 793             </child>
 794             <child>
 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>
 801                 <child>
 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>
 811                   </object>
 812                   <packing>
 813                     <property name="expand">False</property>
 814                     <property name="fill">False</property>
 815                     <property name="position">0</property>
 816                   </packing>
 817                 </child>
 818                 <child>
 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>
 829                   </object>
 830                   <packing>
 831                     <property name="expand">False</property>
 832                     <property name="fill">False</property>
 833                     <property name="position">1</property>
 834                   </packing>
 835                 </child>
 836                 <child>
 837                   <object class="GtkBox" id="hbox9">
 838                     <property name="visible">True</property>
 839                     <property name="can_focus">False</property>
 840                     <child>
 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>
 847                       </object>
 848                       <packing>
 849                         <property name="expand">False</property>
 850                         <property name="fill">False</property>
 851                         <property name="position">0</property>
 852                       </packing>
 853                     </child>
 854                     <child>
 855                       <object class="GtkEntry" id="scenario_name_entry">
 856                         <property name="visible">True</property>
 857                         <property name="can_focus">True</property>
 858                       </object>
 859                       <packing>
 860                         <property name="expand">True</property>
 861                         <property name="fill">True</property>
 862                         <property name="position">1</property>
 863                       </packing>
 864                     </child>
 865                   </object>
 866                   <packing>
 867                     <property name="expand">False</property>
 868                     <property name="fill">True</property>
 869                     <property name="position">2</property>
 870                   </packing>
 871                 </child>
 872                 <child>
 873                   <placeholder/>
 874                 </child>
 875               </object>
 876               <packing>
 877                 <property name="position">5</property>
 878               </packing>
 879             </child>
 880             <child type="tab">
 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>
 885               </object>
 886               <packing>
 887                 <property name="position">5</property>
 888                 <property name="tab_fill">False</property>
 889               </packing>
 890             </child>
 891             <child>
 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>
 900                 <child>
 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>
 906                   </object>
 907                   <packing>
 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>
 912                   </packing>
 913                 </child>
 914                 <child>
 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>
 920                   </object>
 921                   <packing>
 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>
 926                   </packing>
 927                 </child>
 928                 <child>
 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>
 934                   </object>
 935                   <packing>
 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>
 940                   </packing>
 941                 </child>
 942                 <child>
 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>
 948                   </object>
 949                   <packing>
 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>
 954                   </packing>
 955                 </child>
 956                 <child>
 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>
 963                   </object>
 964                   <packing>
 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>
 969                   </packing>
 970                 </child>
 971                 <child>
 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>
 978                   </object>
 979                   <packing>
 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>
 984                   </packing>
 985                 </child>
 986                 <child>
 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>
 993                   </object>
 994                   <packing>
 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>
 999                   </packing>
1000                 </child>
1001                 <child>
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>
1008                   </object>
1009                   <packing>
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>
1014                   </packing>
1015                 </child>
1016                 <child>
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>
1021                   </object>
1022                   <packing>
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>
1027                   </packing>
1028                 </child>
1029               </object>
1030               <packing>
1031                 <property name="position">6</property>
1032               </packing>
1033             </child>
1034             <child type="tab">
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>
1039               </object>
1040               <packing>
1041                 <property name="position">6</property>
1042                 <property name="tab_fill">False</property>
1043               </packing>
1044             </child>
1045           </object>
1046           <packing>
1047             <property name="expand">False</property>
1048             <property name="fill">True</property>
1049             <property name="position">1</property>
1050           </packing>
1051         </child>
1052       </object>
1053     </child>
1054     <action-widgets>
1055       <action-widget response="0">helpbutton</action-widget>
1056       <action-widget response="0">closebutton</action-widget>
1057       <action-widget response="0">solvebutton</action-widget>
1058     </action-widgets>
1059   </object>
1060 </interface>