Scippy

SCIP

Solving Constraint Integer Programs

presol_convertinttobin.h File Reference

Detailed Description

presolver that converts integer variables with domain [a,a+1] to binaries

Author
Michael Winkler

Definition in file presol_convertinttobin.h.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolConvertinttobin (SCIP *scip)