int main(int argc, char **argv)
#define DEFAULT_TEXFILENAME
static SCIP_RETCODE runShell(int argc, char **argv, const char *defaultsetname)
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)