Scippy

SCIP

Solving Constraint Integer Programs

Functions
presol_dualinfer.h File Reference

Detailed Description

dual inference presolver

Author
Dieter Weninger

This presolver exploits dual information for primal variable fixings:

  1. The first method is an enhanced dual fixing technique.
  2. The second method does dual bound strengthening on continuous primal variables and applies complementary slackness $(A^T y - c)_i > 0 \Rightarrow x_i = 0$ for fixing primal variables at their lower bound.

Definition in file presol_dualinfer.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolDualinfer (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludePresolDualinfer ( SCIP *  scip)

creates the dual inference presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1293 of file presol_dualinfer.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().