propagator for orbital fixing
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_RETCODE | SCIPincludePropOrbitalfixing (SCIP *scip) |