presolver that converts integer variables with domain [a,a+1] to binaries
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.