Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

constraint handler for ensuring that primal solution is exact

Author
Antonia Chmiela
Leon Eifler

Definition in file cons_exactsol.h.

#include "scip/lp.h"
#include "scip/lpexact.h"
#include "scip/pub_var.h"
#include "scip/rational.h"
#include "scip/scip_exact.h"
#include "scip/scip_lpexact.h"
#include "scip/scip_sol.h"
#include "scip/set.h"
#include "scip/sol.h"
#include "scip/tree.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeConshdlrExactSol (SCIP *scip)