# SCIP

Solving Constraint Integer Programs

heur_randrounding.h File Reference

## Detailed Description

randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree

Randomized LP rounding uses a random variable from a uniform distribution over [0,1] to determine whether the fractional LP value x should be rounded up with probability x - floor(x) or down with probability ceil(x) - x.

This implementation uses domain propagation techniques to tighten the variable domains after every rounding step.

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