( bestsol ==
NULL)
163 const char* defaultsetname
171 size_tnlfilenamelen;
174 "whether to print statistics on a solve",
178 "name of file to write SCIP log to (additionally to writing to stdout)",
187options = getenv(
"scip_options");
188 if( options !=
NULL)
196optname = strtok(options,
" ");
197optval = strtok(
NULL,
" ");
198 while( optname !=
NULL&& optval !=
NULL)
203optname = strtok(
NULL,
" ");
204optval = strtok(
NULL,
" ");
208 if( defaultsetname !=
NULL)
220 SCIPinfoMessage(
scip,
NULL,
"user parameter file <%s> not found - using default parameters\n", defaultsetname);
231nlfilenamelen = strlen(nlfilename);
232 if( nlfilenamelen > 3 && strcmp(nlfilename + (nlfilenamelen-3),
".nl") == 0 )
277 const char* defaultsetname
280 char* probname =
NULL;
281 char* settingsname =
NULL;
282 char* logname =
NULL;
291 const char* dualrefstring;
292 const char* primalrefstring;
300 if( argc >= 3 && strcmp(argv[2],
"-AMPL") == 0 )
303 interactive= argc >= 4 && strcmp(argv[3],
"-i") == 0;
313onlyversion =
FALSE;
314randomseedread =
FALSE;
316primalrefstring =
NULL;
317dualrefstring =
NULL;
319 for( i = 1; i < argc; ++i )
321 if( strcmp(argv[i],
"-l") == 0 )
328printf(
"missing log filename after parameter '-l'\n");
332 else if( strcmp(argv[i],
"-q") == 0 )
334 else if( strcmp(argv[i],
"-v") == 0 )
336 else if( strcmp(argv[i],
"--version") == 0 )
338 else if( strcmp(argv[i],
"-s") == 0 )
342settingsname = argv[i];
345printf(
"missing settings filename after parameter '-s'\n");
349 else if( strcmp(argv[i],
"-f") == 0 )
356printf(
"missing problem filename after parameter '-f'\n");
360 else if( strcmp(argv[i],
"-c") == 0 )
370printf(
"missing command line after parameter '-c'\n");
374 else if( strcmp(argv[i],
"-b") == 0 )
384printf(
"cannot read command batch file <%s>\n", argv[i]);
394(void)
SCIPfgets(buffer, (
int)
sizeof(buffer), file);
395 if( buffer[0] !=
'\0')
406printf(
"missing command batch filename after parameter '-b'\n");
410 else if( strcmp(argv[i],
"-r") == 0 )
414 if( i < argc && isdigit(argv[i][0]) )
416randomseed = atoi(argv[i]);
417randomseedread =
TRUE;
421printf(
"Random seed parameter '-r' followed by something that is not an integer\n");
425 else if( strcmp(argv[i],
"-o") == 0 )
429printf(
"wrong usage of reference objective parameter '-o': -o <primref> <dualref>\n");
435primalrefstring = argv[i + 1];
436dualrefstring = argv[i+2];
442printf(
"invalid parameter <%s>\n", argv[i]);
449printf(
"cannot mix batch mode '-c' and '-b' with file mode '-f'\n");
464 if( logname !=
NULL)
490 if( settingsname !=
NULL)
494 else if( defaultsetname !=
NULL)
502 if( randomseedread )
511 if( probname !=
NULL)
515 if( primalrefstring !=
NULL&& dualrefstring !=
NULL)
521printf(
"error parsing primal and dual reference values for validation: %s %s\n", primalrefstring, dualrefstring);
525validatesolve =
TRUE;
543printf(
"\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",
556printf(
"\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",
572 const char* defaultsetname
#define SCIP_CALL_FINALLY(x, y)
static SCIP_RETCODE interactive(SCIP *scip)
SCIP_FILE * SCIPfopen(const char *path, const char *mode)
int SCIPfeof(SCIP_FILE *stream)
int SCIPfclose(SCIP_FILE *fp)
char * SCIPfgets(char *s, int size, SCIP_FILE *stream)
void SCIPenableDebugSol(SCIP *scip)
SCIP_Bool SCIPfileExists(const char *filename)
SCIP_RETCODE SCIPfree(SCIP **scip)
SCIP_RETCODE SCIPcreate(SCIP **scip)
SCIP_RETCODE SCIPreadProb(SCIP *scip, const char *filename, const char *extension)
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
void SCIPverbMessage(SCIP *scip, SCIP_VERBLEVEL msgverblevel, FILE *file, const char *formatstr,...)
void SCIPsetMessagehdlrLogfile(SCIP *scip, const char *filename)
void SCIPsetMessagehdlrQuiet(SCIP *scip, SCIP_Bool quiet)
void SCIPprintBuildOptions(SCIP *scip, FILE *file)
void SCIPprintVersion(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPgetBoolParam(SCIP *scip, const char *name, SCIP_Bool *value)
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)
SCIP_RETCODE SCIPsetIntParam(SCIP *scip, const char *name, int value)
SCIP_RETCODE SCIPreadParams(SCIP *scip, const char *filename)
SCIP_RETCODE SCIPwriteParams(SCIP *scip, const char *filename, SCIP_Bool comments, SCIP_Bool onlychanged)
SCIP_RETCODE SCIPsetParam(SCIP *scip, const char *name, const char *value)
SCIP_RETCODE SCIPgetStringParam(SCIP *scip, const char *name, char **value)
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)
SCIP_RETCODE SCIPstartInteraction(SCIP *scip)
SCIP_RETCODE SCIPaddDialogInputLine(SCIP *scip, const char *inputline)
void SCIPprintExternalCodes(SCIP *scip, FILE *file)
SCIP_SOL * SCIPgetBestSol(SCIP *scip)
SCIP_RETCODE SCIPcreateSolCopy(SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol)
SCIP_RETCODE SCIPprintBestSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)
SCIP_RETCODE SCIPfreeSol(SCIP *scip, SCIP_SOL **sol)
SCIP_RETCODE SCIPprintSol(SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)
SCIP_RETCODE SCIPretransformSol(SCIP *scip, SCIP_SOL *sol)
SCIP_RETCODE SCIPsolve(SCIP *scip)
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,...)
void SCIPprintSysError(const char *message)
#define BMScheckEmptyMemory()
struct SCIP_File SCIP_FILE
SCIP_RETCODE SCIPwriteSolutionNl(SCIP *scip)
SCIP_RETCODE SCIPincludeDefaultPlugins(SCIP *scip)
SCIP_RETCODE SCIPrunShell(int argc, char **argv, const char *defaultsetname)
static SCIP_RETCODE fromCommandLine(SCIP *scip, const char *filename)
static SCIP_RETCODE fromAmpl(SCIP *scip, char *nlfilename, SCIP_Bool interactive, const char *defaultsetname)
static SCIP_RETCODE readParams(SCIP *scip, const char *filename)
SCIP_RETCODE SCIPprocessShellArguments(SCIP *scip, int argc, char **argv, const char *defaultsetname)
SCIP command line interface.
enum SCIP_Retcode SCIP_RETCODE
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4