Scippy

SCIP

Solving Constraint Integer Programs

prop_orbitalfixing.h File Reference

Detailed Description

propagator for orbital fixing

Author
Marc Pfetsch

This propagator implements orbital fixing, a method to exploit symmetries to fix variables in orbits to 0 or 1.

Definition in file prop_orbitalfixing.h.

#include <scip/scip.h>

Go to the source code of this file.

Functions

SCIP_EXPORT SCIP_RETCODE SCIPincludePropOrbitalfixing (SCIP *scip)