125 if ( bestsol ==
NULL )
172 "whether to print statistics on a solve",
176 "name of file to write SCIP log to (additionally to writing to stdout)",
250 char* probname =
NULL;
295 printf(
"missing log filename after parameter '-l'\n");
312 printf(
"missing settings filename after parameter '-s'\n");
323 printf(
"missing problem filename after parameter '-f'\n");
337 printf(
"missing command line after parameter '-c'\n");
351 printf(
"cannot read command batch file <%s>\n",
argv[
i]);
362 if( buffer[0] !=
'\0' )
373 printf(
"missing command batch filename after parameter '-b'\n");
388 printf(
"Random seed parameter '-r' followed by something that is not an integer\n");
396 printf(
"wrong usage of reference objective parameter '-o': -o <primref> <dualref>\n");
416 printf(
"cannot mix batch mode '-c' and '-b' with file mode '-f'\n");
478 if( probname !=
NULL )
510 printf(
"\nsyntax: %s [-l <logfile>] [-q] [-s <settings>] [-r <randseed>] [-f <problem>] [-b <batchfile>] [-c \"command\"]\n"
511 " -v, --version : print version and build options\n"
512 " -l <logfile> : copy output into log file\n"
513 " -q : suppress screen messages\n"
514 " -s <settings> : load parameter settings (.set) file\n"
515 " -f <problem> : load and solve problem file\n"
516 " -o <primref> <dualref> : pass primal and dual objective reference values for validation at the end of the solve\n"
517 " -b <batchfile>: load and execute dialog command batch file (can be used multiple times)\n"
518 " -r <randseed> : nonnegative integer to be used as random seed. "
519 "Has priority over random seed specified through parameter settings (.set) file\n"
520 " -c \"command\" : execute single line of dialog commands (can be used multiple times)\n",
523 printf(
"\nas AMPL solver: %s <.nl-file without the .nl> -AMPL\n",
argv[0]);
#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 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 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 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)
SCIPfreeSol(scip, &heurdata->sol))
#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 fromAmpl(SCIP *scip, char *nlfilename, const char *defaultsetname)
static SCIP_RETCODE fromCommandLine(SCIP *scip, const char *filename)
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