presol_inttobinary.h File Reference

Detailed Description

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

Author

Tobias Achterberg

This presolver converts all integer variables with domain $[a,a+1]$ to binaries variables. This is done by creating a new binary variable $y$ which will be aggregated to the old variable $x$ such that

$$x = y + a$$

Definition in file presol_inttobinary.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludePresolInttobinary (SCIP *scip)