src/main.c
Go to the documentation of this file.
34 /**@todo unboundness detection in presolving -> convert problem into feasibility problem to decide
36 /**@todo variable event PSSOLCHANGED, update pseudo activities in constraints to speed up checking of pseudo solutions */
37 /**@todo branching rule acting as a filter by temporary changing the branching priority of variables and returning
41 /*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
56 /* Calling the following function is not directly async-signal-safe, since it counts how often the function is
SCIP command line interface.
SCIP_RETCODE SCIPrunShell(int argc, char **argv, const char *defaultsetname)
Definition: scipshell.c:534
Definition: type_retcode.h:42
methods for catching the user CTRL-C interrupt
SCIP callable library.