SCIP comes with default settings that are automatically active when you start the interactive SHELL. However, you have the POSSIBILITY to save customized settings via the set save and set diffusive COMMANDS. Both commands will prompt you to enter a file name and save either all or customized parameters only to the specified file.

A user parameter file that you save as "scip. Set" has a special meaning; whenever you invoke SCIP from a directory containing a file named "scip. Set", the settings therein overwrite the default settings. For more information about customized settings, see the Tutorial on the interactive shell. Settings files can become incompatible with later releases if we decide to rename/delete a parameter. Information about this can be found in the CHANGELOG for every release.

SCIP comes with default settings that are automatically active when you start the interactive shell. However, you have the possibility to save customized settings via the set save and set diffusive commands. Both commands will prompt you to enter a file name and save either all or customized parameters only to the specified file.

A user parameter file that you save as "scip. Set" has a special meaning; whenever you invoke SCIP from a directory containing a file named "scip. Set", the settings therein overwrite the default settings. For more information about customized settings, see the Tutorial on the interactive shell. Settings files can become incompatible with later releases if we decide to rename/delete a parameter. Information about this can be found in the CHANGELOG for every release.