Scippy

SCIP

Solving Constraint Integer Programs

cmain.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-2016 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file cmain.c
17  * @brief main file for C compilation
18  * @author Tobias Achterberg
19  */
20 
21 /* global todos: */
22 
23 /**@todo pricing for pseudo solutions */
24 /**@todo unboundness detection in presolving -> convert problem into feasibility problem to decide
25  * unboundness/infeasibility */
26 /**@todo variable event PSSOLCHANGED, update pseudo activities in constraints to speed up checking of pseudo solutions */
27 /**@todo branching rule acting as a filter by temporary changing the branching priority of variables and returning
28  * SCIP_DIDNOTFIND to let the next branching rule select the branching variable */
29 /**@todo try to not use the first but the shortest constraint as reason for a deduction */
30 
31 /*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
32 
33 #include <stdio.h>
34 
35 #include "scip/scip.h"
36 #include "scip/scipshell.h"
37 
38 /** main method starting SCIP */
39 int main(
40  int argc, /**< number of arguments from the shell */
41  char** argv /**< array of shell arguments */
42  )
43 {
44  SCIP_RETCODE retcode;
45 
46  /* run interactive shell */
47  retcode = SCIPrunShell(argc, argv, "scip.set");
48 
49  /* evaluate retrun code of the SCIP process */
50  if( retcode != SCIP_OKAY )
51  {
52  /* write error back trace */
53  SCIPprintError(retcode);
54  return -1;
55  }
56 
57  return 0;
58 }
int main(int argc, char **argv)
Definition: cmain.c:39
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIP command line interface.
SCIP_RETCODE SCIPrunShell(int argc, char **argv, const char *defaultsetname)
Definition: scipshell.c:340
void SCIPprintError(SCIP_RETCODE retcode)
Definition: scip.c:627
SCIP callable library.