Scippy

SCIP

Solving Constraint Integer Programs

scipshell.c
Go to the documentation of this file.
1/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2/* */
3/* This file is part of the program and library */
4/* SCIP --- Solving Constraint Integer Programs */
5/* */
6/* Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) */
7/* */
8/* Licensed under the Apache License, Version 2.0 (the "License"); */
9/* you may not use this file except in compliance with the License. */
10/* You may obtain a copy of the License at */
11/* */
12/* http://www.apache.org/licenses/LICENSE-2.0 */
13/* */
14/* Unless required by applicable law or agreed to in writing, software */
15/* distributed under the License is distributed on an "AS IS" BASIS, */
16/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
17/* See the License for the specific language governing permissions and */
18/* limitations under the License. */
19/* */
20/* You should have received a copy of the Apache-2.0 license */
21/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
22/* */
23/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
24
25/**@file scipshell.c
26 * @ingroup OTHER_CFILES
27 * @brief SCIP command line interface
28 * @author Tobias Achterberg
29 */
30
31/*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
32
33#include <stdio.h>
34#include <string.h>
35#include <ctype.h>
36
37#include "scip/scip.h"
38#include "scip/scipdefplugins.h"
39#include "scip/scipshell.h"
41#include "scip/reader_nl.h"
42
43/*
44 * Message Handler
45 */
46
47static
49 SCIP* scip, /**< SCIP data structure */
50 const char* filename /**< parameter file name */
51 )
52{
53 if( SCIPfileExists(filename) )
54 {
55 SCIPinfoMessage(scip, NULL, "reading user parameter file <%s>\n", filename);
56 SCIP_CALL( SCIPreadParams(scip, filename) );
57 }
58 else
59 SCIPinfoMessage(scip, NULL, "user parameter file <%s> not found - using default parameters\n", filename);
60
61 return SCIP_OKAY;
62}
63
64static
66 SCIP* scip, /**< SCIP data structure */
67 const char* filename /**< input file name */
68 )
69{
70 SCIP_RETCODE retcode;
71 SCIP_Bool outputorigsol = FALSE;
72
73 /********************
74 * Problem Creation *
75 ********************/
76
77 /** @note The message handler should be only fed line by line such the message has the chance to add string in front
78 * of each message
79 */
81 SCIPinfoMessage(scip, NULL, "read problem <%s>\n", filename);
82 SCIPinfoMessage(scip, NULL, "============\n");
84
85 retcode = SCIPreadProb(scip, filename, NULL);
86
87 switch( retcode )
88 {
89 case SCIP_NOFILE:
90 SCIPinfoMessage(scip, NULL, "file <%s> not found\n", filename);
91 return SCIP_OKAY;
93 SCIPinfoMessage(scip, NULL, "no reader for input file <%s> available\n", filename);
94 return SCIP_OKAY;
95 case SCIP_READERROR:
96 SCIPinfoMessage(scip, NULL, "error reading file <%s>\n", filename);
97 return SCIP_OKAY;
98 default:
99 SCIP_CALL( retcode );
100 } /*lint !e788*/
101
102 /*******************
103 * Problem Solving *
104 *******************/
105
106 /* solve problem */
107 SCIPinfoMessage(scip, NULL, "\nsolve problem\n");
108 SCIPinfoMessage(scip, NULL, "=============\n\n");
109
111
112 /*******************
113 * Solution Output *
114 *******************/
115
116 SCIP_CALL( SCIPgetBoolParam(scip, "misc/outputorigsol", &outputorigsol) );
117 if ( outputorigsol )
118 {
119 SCIP_SOL* bestsol;
120
121 SCIPinfoMessage(scip, NULL, "\nprimal solution (original space):\n");
122 SCIPinfoMessage(scip, NULL, "=================================\n\n");
123
124 bestsol = SCIPgetBestSol(scip);
125 if ( bestsol == NULL )
126 SCIPinfoMessage(scip, NULL, "no solution available\n");
127 else
128 {
129 SCIP_SOL* origsol;
130
131 SCIP_CALL( SCIPcreateSolCopy(scip, &origsol, bestsol) );
132 SCIP_CALL( SCIPretransformSol(scip, origsol) );
133 SCIP_CALL( SCIPprintSol(scip, origsol, NULL, FALSE) );
134 SCIP_CALL( SCIPfreeSol(scip, &origsol) );
135 }
136 }
137 else
138 {
139 SCIPinfoMessage(scip, NULL, "\nprimal solution (transformed space):\n");
140 SCIPinfoMessage(scip, NULL, "====================================\n\n");
141
143 }
144
145 /**************
146 * Statistics *
147 **************/
148
149 SCIPinfoMessage(scip, NULL, "\nStatistics\n");
150 SCIPinfoMessage(scip, NULL, "==========\n\n");
151
153
154 return SCIP_OKAY;
155}
156
157/** runs SCIP as if it was called by AMPL */
158static
160 SCIP* scip, /**< SCIP data structure */
161 char* nlfilename, /**< name of .nl file, without the .nl */
162 SCIP_Bool interactive, /**< whether to start SCIP shell instead of solve only */
163 const char* defaultsetname /**< name of default settings file */
164 )
165{
166#ifdef SCIP_WITH_AMPL
167 char fullnlfilename[SCIP_MAXSTRLEN];
168 char* logfile;
169 SCIP_Bool printstat;
170 char* options;
171 size_t nlfilenamelen;
172
173 SCIP_CALL( SCIPaddBoolParam(scip, "display/statistics",
174 "whether to print statistics on a solve",
175 &printstat, FALSE, FALSE, NULL, NULL) );
176
177 SCIP_CALL( SCIPaddStringParam(scip, "display/logfile",
178 "name of file to write SCIP log to (additionally to writing to stdout)",
179 NULL, FALSE, "", NULL, NULL) );
180
182 SCIPinfoMessage(scip, NULL, "\n");
183
185 SCIPinfoMessage(scip, NULL, "\n");
186
187 options = getenv("scip_options");
188 if( options != NULL )
189 {
190 /* parse and apply options from scip_options env variable */
191 char* optname;
192 char* optval;
193
194 SCIPverbMessage(scip, SCIP_VERBLEVEL_HIGH, NULL, "applying scip_options:\n");
195
196 optname = strtok(options, " ");
197 optval = strtok(NULL, " ");
198 while( optname != NULL && optval != NULL )
199 {
200 SCIPverbMessage(scip, SCIP_VERBLEVEL_HIGH, NULL, " %s = %s\n", optname, optval);
201 SCIP_CALL( SCIPsetParam(scip, optname, optval) );
202
203 optname = strtok(NULL, " ");
204 optval = strtok(NULL, " ");
205 }
206 }
207
208 if( defaultsetname != NULL )
209 {
210 if( SCIPfileExists(defaultsetname) )
211 {
212 SCIPinfoMessage(scip, NULL, "reading user parameter file <%s>\n", defaultsetname);
213 SCIPinfoMessage(scip, NULL, "===========================\n\n");
214 SCIP_CALL( SCIPreadParams(scip, defaultsetname) );
216 SCIPinfoMessage(scip, NULL, "\n");
217 }
218 else
219 {
220 SCIPinfoMessage(scip, NULL, "user parameter file <%s> not found - using default parameters\n", defaultsetname);
221 }
222 }
223
224 SCIP_CALL( SCIPgetStringParam(scip, "display/logfile", &logfile) );
225 if( *logfile )
227
228 /* AMPL calls solver with file without .nl extension, but others (Pyomo) may not
229 * so add .nl only if not already present
230 */
231 nlfilenamelen = strlen(nlfilename);
232 if( nlfilenamelen > 3 && strcmp(nlfilename + (nlfilenamelen-3), ".nl") == 0 )
233 (void) SCIPsnprintf(fullnlfilename, SCIP_MAXSTRLEN, "%s", nlfilename);
234 else
235 (void) SCIPsnprintf(fullnlfilename, SCIP_MAXSTRLEN, "%s.nl", nlfilename);
236 SCIPinfoMessage(scip, NULL, "read problem <%s>\n", fullnlfilename);
237 SCIPinfoMessage(scip, NULL, "============\n\n");
238
239 SCIP_CALL( SCIPreadProb(scip, fullnlfilename, "nl") );
240
241 if( interactive )
242 {
244 }
245 else
246 {
247 SCIPinfoMessage(scip, NULL, "\nsolve problem\n");
248 SCIPinfoMessage(scip, NULL, "=============\n\n");
249
251 }
252
253 SCIP_CALL( SCIPgetBoolParam(scip, "display/statistics", &printstat) );
254 if( printstat )
255 {
256 SCIPinfoMessage(scip, NULL, "\nStatistics\n");
257 SCIPinfoMessage(scip, NULL, "==========\n\n");
258
260 }
261
263
264 return SCIP_OKAY;
265
266#else /* SCIP_WITH_AMPL */
267 SCIPerrorMessage("SCIP has been compiled without AMPL support.\n");
268 return SCIP_PLUGINNOTFOUND;
269#endif
270}
271
272/** evaluates command line parameters and runs SCIP appropriately in the given SCIP instance */
274 SCIP* scip, /**< SCIP data structure */
275 int argc, /**< number of shell parameters */
276 char** argv, /**< array with shell parameters */
277 const char* defaultsetname /**< name of default settings file */
278 )
279{ /*lint --e{850}*/
280 char* probname = NULL;
281 char* settingsname = NULL;
282 char* logname = NULL;
283 int randomseed;
284 SCIP_Bool randomseedread;
285 SCIP_Bool quiet;
286 SCIP_Bool paramerror;
288 SCIP_Bool onlyversion;
289 SCIP_Real primalreference = SCIP_UNKNOWN;
290 SCIP_Real dualreference = SCIP_UNKNOWN;
291 const char* dualrefstring;
292 const char* primalrefstring;
293 int i;
294
295 /********************
296 * Parse parameters *
297 ********************/
298
299 /* recognize and handle case where we were called from AMPL first */
300 if( argc >= 3 && strcmp(argv[2], "-AMPL") == 0 )
301 {
302 /* check for optional argument -i after -AMPL */
303 interactive = argc >= 4 && strcmp(argv[3], "-i") == 0;
304
305 SCIP_CALL( fromAmpl(scip, argv[1], interactive, defaultsetname) );
306
307 return SCIP_OKAY;
308 }
309
310 quiet = FALSE;
311 paramerror = FALSE;
313 onlyversion = FALSE;
314 randomseedread = FALSE;
315 randomseed = 0;
316 primalrefstring = NULL;
317 dualrefstring = NULL;
318
319 for( i = 1; i < argc; ++i )
320 {
321 if( strcmp(argv[i], "-l") == 0 )
322 {
323 i++;
324 if( i < argc )
325 logname = argv[i];
326 else
327 {
328 printf("missing log filename after parameter '-l'\n");
329 paramerror = TRUE;
330 }
331 }
332 else if( strcmp(argv[i], "-q") == 0 )
333 quiet = TRUE;
334 else if( strcmp(argv[i], "-v") == 0 )
335 onlyversion = TRUE;
336 else if( strcmp(argv[i], "--version") == 0 )
337 onlyversion = TRUE;
338 else if( strcmp(argv[i], "-s") == 0 )
339 {
340 i++;
341 if( i < argc )
342 settingsname = argv[i];
343 else
344 {
345 printf("missing settings filename after parameter '-s'\n");
346 paramerror = TRUE;
347 }
348 }
349 else if( strcmp(argv[i], "-f") == 0 )
350 {
351 i++;
352 if( i < argc )
353 probname = argv[i];
354 else
355 {
356 printf("missing problem filename after parameter '-f'\n");
357 paramerror = TRUE;
358 }
359 }
360 else if( strcmp(argv[i], "-c") == 0 )
361 {
362 i++;
363 if( i < argc )
364 {
367 }
368 else
369 {
370 printf("missing command line after parameter '-c'\n");
371 paramerror = TRUE;
372 }
373 }
374 else if( strcmp(argv[i], "-b") == 0 )
375 {
376 i++;
377 if( i < argc )
378 {
379 SCIP_FILE* file;
380
381 file = SCIPfopen(argv[i], "r");
382 if( file == NULL )
383 {
384 printf("cannot read command batch file <%s>\n", argv[i]);
385 SCIPprintSysError(argv[i]);
386 paramerror = TRUE;
387 }
388 else
389 {
390 while( !SCIPfeof(file) )
391 {
392 char buffer[SCIP_MAXSTRLEN];
393
394 (void)SCIPfgets(buffer, (int) sizeof(buffer), file);
395 if( buffer[0] != '\0' )
396 {
398 }
399 }
400 SCIPfclose(file);
402 }
403 }
404 else
405 {
406 printf("missing command batch filename after parameter '-b'\n");
407 paramerror = TRUE;
408 }
409 }
410 else if( strcmp(argv[i], "-r") == 0 )
411 {
412 /*read a random seed from the command line */
413 i++;
414 if( i < argc && isdigit(argv[i][0]) )
415 {
416 randomseed = atoi(argv[i]);
417 randomseedread = TRUE;
418 }
419 else
420 {
421 printf("Random seed parameter '-r' followed by something that is not an integer\n");
422 paramerror = TRUE;
423 }
424 }
425 else if( strcmp(argv[i], "-o") == 0 )
426 {
427 if( i >= argc - 2 )
428 {
429 printf("wrong usage of reference objective parameter '-o': -o <primref> <dualref>\n");
430 paramerror = TRUE;
431 }
432 else
433 {
434 /* do not parse the strings directly, the settings could still influence the value of +-infinity */
435 primalrefstring = argv[i + 1];
436 dualrefstring = argv[i+2];
437 }
438 i += 2;
439 }
440 else
441 {
442 printf("invalid parameter <%s>\n", argv[i]);
443 paramerror = TRUE;
444 }
445 }
446
447 if( interactive && probname != NULL )
448 {
449 printf("cannot mix batch mode '-c' and '-b' with file mode '-f'\n");
450 paramerror = TRUE;
451 }
452
453 if( !paramerror )
454 {
455 /***********************************
456 * create log file message handler *
457 ***********************************/
458
459 if( quiet )
460 {
462 }
463
464 if( logname != NULL )
465 {
467 }
468
469 /***********************************
470 * Version and library information *
471 ***********************************/
472
474 SCIPinfoMessage(scip, NULL, "\n");
475
477 SCIPinfoMessage(scip, NULL, "\n");
478
479 if( onlyversion )
480 {
482 SCIPinfoMessage(scip, NULL, "\n");
483 return SCIP_OKAY;
484 }
485
486 /*****************
487 * Load settings *
488 *****************/
489
490 if( settingsname != NULL )
491 {
492 SCIP_CALL( readParams(scip, settingsname) );
493 }
494 else if( defaultsetname != NULL )
495 {
496 SCIP_CALL( readParams(scip, defaultsetname) );
497 }
498
499 /************************************
500 * Change random seed, if specified *
501 ***********************************/
502 if( randomseedread )
503 {
504 SCIP_CALL( SCIPsetIntParam(scip, "randomization/randomseedshift", randomseed) );
505 }
506
507 /**************
508 * Start SCIP *
509 **************/
510
511 if( probname != NULL )
512 {
513 SCIP_Bool validatesolve = FALSE;
514
515 if( primalrefstring != NULL && dualrefstring != NULL )
516 {
517 char *endptr;
518 if( ! SCIPparseReal(scip, primalrefstring, &primalreference, &endptr) ||
519 ! SCIPparseReal(scip, dualrefstring, &dualreference, &endptr) )
520 {
521 printf("error parsing primal and dual reference values for validation: %s %s\n", primalrefstring, dualrefstring);
522 return SCIP_ERROR;
523 }
524 else
525 validatesolve = TRUE;
526 }
527 SCIP_CALL( fromCommandLine(scip, probname) );
528
529 /* validate the solve */
530 if( validatesolve )
531 {
532 SCIP_CALL( SCIPvalidateSolve(scip, primalreference, dualreference, SCIPfeastol(scip), FALSE, NULL, NULL, NULL) );
533 }
534 }
535 else
536 {
537 SCIPinfoMessage(scip, NULL, "\n");
539 }
540 }
541 else
542 {
543 printf("\nsyntax: %s [-l <logfile>] [-q] [-s <settings>] [-r <randseed>] [-f <problem>] [-b <batchfile>] [-c \"command\"]\n"
544 " -v, --version : print version and build options\n"
545 " -l <logfile> : copy output into log file\n"
546 " -q : suppress screen messages\n"
547 " -s <settings> : load parameter settings (.set) file\n"
548 " -f <problem> : load and solve problem file\n"
549 " -o <primref> <dualref> : pass primal and dual objective reference values for validation at the end of the solve\n"
550 " -b <batchfile>: load and execute dialog command batch file (can be used multiple times)\n"
551 " -r <randseed> : nonnegative integer to be used as random seed. "
552 "Has priority over random seed specified through parameter settings (.set) file\n"
553 " -c \"command\" : execute single line of dialog commands (can be used multiple times)\n",
554 argv[0]);
555#ifdef SCIP_WITH_AMPL
556 printf("\nas AMPL solver: %s <.nl-file without the .nl> -AMPL [-i]\n"
557 " -i : start interactive SCIP shell after .nl file has been read\n",
558 argv[0]);
559#endif
560 printf("\n");
561 }
562
563 return SCIP_OKAY;
564}
565
566/** creates a SCIP instance with default plugins, evaluates command line parameters, runs SCIP appropriately,
567 * and frees the SCIP instance
568 */
570 int argc, /**< number of shell parameters */
571 char** argv, /**< array with shell parameters */
572 const char* defaultsetname /**< name of default settings file */
573 )
574{
575 SCIP* scip = NULL;
576
577 /*********
578 * Setup *
579 *********/
580
581 /* initialize SCIP */
583
584 /* we explicitly enable the use of a debug solution for this main SCIP instance */
586
587 /* include default SCIP plugins */
589
590 /**********************************
591 * Process command line arguments *
592 **********************************/
593
594 SCIP_CALL( SCIPprocessShellArguments(scip, argc, argv, defaultsetname) );
595
596 /********************
597 * Deinitialization *
598 ********************/
600
602
603 return SCIP_OKAY;
604}
#define NULL
Definition: def.h:267
#define SCIP_MAXSTRLEN
Definition: def.h:288
#define SCIP_Bool
Definition: def.h:91
#define SCIP_Real
Definition: def.h:173
#define SCIP_UNKNOWN
Definition: def.h:194
#define TRUE
Definition: def.h:93
#define FALSE
Definition: def.h:94
#define SCIP_CALL(x)
Definition: def.h:374
#define SCIP_CALL_FINALLY(x, y)
Definition: def.h:416
static SCIP_RETCODE interactive(SCIP *scip)
Definition: cmain.c:99
SCIP_FILE * SCIPfopen(const char *path, const char *mode)
Definition: fileio.c:153
int SCIPfeof(SCIP_FILE *stream)
Definition: fileio.c:227
int SCIPfclose(SCIP_FILE *fp)
Definition: fileio.c:232
char * SCIPfgets(char *s, int size, SCIP_FILE *stream)
Definition: fileio.c:200
void SCIPenableDebugSol(SCIP *scip)
Definition: scip_debug.c:57
SCIP_Bool SCIPfileExists(const char *filename)
Definition: misc.c:11079
SCIP_RETCODE SCIPfree(SCIP **scip)
Definition: scip_general.c:339
SCIP_RETCODE SCIPcreate(SCIP **scip)
Definition: scip_general.c:307
SCIP_RETCODE SCIPreadProb(SCIP *scip, const char *filename, const char *extension)
Definition: scip_prob.c:339
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
Definition: scip_message.c:208
void SCIPverbMessage(SCIP *scip, SCIP_VERBLEVEL msgverblevel, FILE *file, const char *formatstr,...)
Definition: scip_message.c:225
void SCIPsetMessagehdlrLogfile(SCIP *scip, const char *filename)
Definition: scip_message.c:96
void SCIPsetMessagehdlrQuiet(SCIP *scip, SCIP_Bool quiet)
Definition: scip_message.c:108
void SCIPprintBuildOptions(SCIP *scip, FILE *file)
Definition: scip_general.c:191
void SCIPprintVersion(SCIP *scip, FILE *file)
Definition: scip_general.c:156
SCIP_RETCODE SCIPgetBoolParam(SCIP *scip, const char *name, SCIP_Bool *value)
Definition: scip_param.c:250
SCIP_RETCODE SCIPaddStringParam(SCIP *scip, const char *name, const char *desc, char **valueptr, SCIP_Bool isadvanced, const char *defaultvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
Definition: scip_param.c:194
SCIP_RETCODE SCIPsetIntParam(SCIP *scip, const char *name, int value)
Definition: scip_param.c:487
SCIP_RETCODE SCIPreadParams(SCIP *scip, const char *filename)
Definition: scip_param.c:772
SCIP_RETCODE SCIPwriteParams(SCIP *scip, const char *filename, SCIP_Bool comments, SCIP_Bool onlychanged)
Definition: scip_param.c:813
SCIP_RETCODE SCIPsetParam(SCIP *scip, const char *name, const char *value)
Definition: scip_param.c:753
SCIP_RETCODE SCIPgetStringParam(SCIP *scip, const char *name, char **value)
Definition: scip_param.c:345
SCIP_RETCODE SCIPaddBoolParam(SCIP *scip, const char *name, const char *desc, SCIP_Bool *valueptr, SCIP_Bool isadvanced, SCIP_Bool defaultvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
Definition: scip_param.c:57
SCIP_RETCODE SCIPstartInteraction(SCIP *scip)
Definition: scip_dialog.c:242
SCIP_RETCODE SCIPaddDialogInputLine(SCIP *scip, const char *inputline)
Definition: scip_dialog.c:192
void SCIPprintExternalCodes(SCIP *scip, FILE *file)
Definition: scip_general.c:790
SCIP_SOL * SCIPgetBestSol(SCIP *scip)
Definition: scip_sol.c:2169
SCIP_RETCODE SCIPcreateSolCopy(SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol)
Definition: scip_sol.c:474
SCIP_RETCODE SCIPprintBestSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)
Definition: scip_sol.c:2235
SCIP_RETCODE SCIPfreeSol(SCIP *scip, SCIP_SOL **sol)
Definition: scip_sol.c:841
SCIP_RETCODE SCIPprintSol(SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)
Definition: scip_sol.c:1631
SCIP_RETCODE SCIPretransformSol(SCIP *scip, SCIP_SOL *sol)
Definition: scip_sol.c:2347
SCIP_RETCODE SCIPsolve(SCIP *scip)
Definition: scip_solve.c:2498
SCIP_RETCODE SCIPprintStatistics(SCIP *scip, FILE *file)
SCIP_Real SCIPfeastol(SCIP *scip)
SCIP_Bool SCIPparseReal(SCIP *scip, const char *str, SCIP_Real *value, char **endptr)
SCIP_RETCODE SCIPvalidateSolve(SCIP *scip, SCIP_Real primalreference, SCIP_Real dualreference, SCIP_Real reftol, SCIP_Bool quiet, SCIP_Bool *feasible, SCIP_Bool *primalboundcheck, SCIP_Bool *dualboundcheck)
int SCIPsnprintf(char *t, int len, const char *s,...)
Definition: misc.c:10877
void SCIPprintSysError(const char *message)
Definition: misc.c:10769
#define BMScheckEmptyMemory()
Definition: memory.h:155
default message handler
struct SCIP_File SCIP_FILE
Definition: pub_fileio.h:43
#define SCIPerrorMessage
Definition: pub_message.h:64
SCIP_RETCODE SCIPwriteSolutionNl(SCIP *scip)
Definition: reader_nl.cpp:1843
AMPL .nl file reader.
SCIP callable library.
SCIP_RETCODE SCIPincludeDefaultPlugins(SCIP *scip)
default SCIP plugins
SCIP_RETCODE SCIPrunShell(int argc, char **argv, const char *defaultsetname)
Definition: scipshell.c:569
static SCIP_RETCODE fromCommandLine(SCIP *scip, const char *filename)
Definition: scipshell.c:65
static SCIP_RETCODE fromAmpl(SCIP *scip, char *nlfilename, SCIP_Bool interactive, const char *defaultsetname)
Definition: scipshell.c:159
static SCIP_RETCODE readParams(SCIP *scip, const char *filename)
Definition: scipshell.c:48
SCIP_RETCODE SCIPprocessShellArguments(SCIP *scip, int argc, char **argv, const char *defaultsetname)
Definition: scipshell.c:273
SCIP command line interface.
@ SCIP_VERBLEVEL_HIGH
Definition: type_message.h:56
@ SCIP_NOFILE
Definition: type_retcode.h:47
@ SCIP_READERROR
Definition: type_retcode.h:45
@ SCIP_PLUGINNOTFOUND
Definition: type_retcode.h:54
@ SCIP_OKAY
Definition: type_retcode.h:42
@ SCIP_ERROR
Definition: type_retcode.h:43
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:63