Skip to content

Commit

Permalink
Merge branch 'correct-inconsistencies' into 'v90-bugfix'
Browse files Browse the repository at this point in the history
Correct inconsistencies

See merge request integer/scip!3369
  • Loading branch information
Christopher Hojny committed Apr 9, 2024
2 parents 13756ff + db96482 commit 76343c3
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 3 deletions.
15 changes: 12 additions & 3 deletions CHANGELOG
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,18 @@ Build system

- add flags -ffp-contract=off and /fp:precise to enhance reproducibility across different systems

Interface changes
-----------------

### New parameters

- added parameter "propagating/symmetry/symtiming" to determine when symmetries are computed and handled

### Changed parameters

- Disabled "propagating/symmetry/addconsstiming" since it is not used anymore.
- Disabled "propagating/symmetry/ofsymcomptiming" since it is not used anymore.

@section RN900 SCIP 9.0.0
*************************

Expand Down Expand Up @@ -221,8 +233,6 @@ Interface changes
- Disabled "propagating/symmetry/performpresolving" since running orbital reduction during presolving is not effective.
- Repurposed "propagating/symmetry/usedynamicprop" since it now also applies to lexicographic reduction.
- Changed default value of parameter "propagating/symmetry/addsymresacks" from FALSE to TRUE.
- Disabled "propagating/symmetry/addconsstiming" since it is not used anymore.
- Disabled "propagating/symmetry/ofsymcomptiming" since it is not used anymore.

### New parameters

Expand Down Expand Up @@ -263,7 +273,6 @@ Interface changes
- separating/lagromory/varconsratiothreshold to denote the minimum variable-constraint ratio on the optimal face for the
separator execution
- many other advanced parameters for the Lagromory separator, which are also mentioned under separating/lagromory/*
- added parameter "propagating/symmetry/symtiming" to determine when symmetries are computed and handled

### Data structures

Expand Down
4 changes: 4 additions & 0 deletions src/symmetry/type_symmetry.h
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,10 @@ typedef uint32_t SYM_SPEC; /**< types of variables handled by symme
#define SYM_TIMING_DURINGPRESOL 1 /**< compute and handle symmetries during presolving */
#define SYM_TIMING_AFTERPRESOL 2 /**< compute and handle symmetries after presolving */

#define SYM_COMPUTETIMING_BEFOREPRESOL SYM_TIMING_BEFOREPRESOL /**< compute symmetries before presolving */
#define SYM_COMPUTETIMING_DURINGPRESOL SYM_TIMING_DURINGPRESOL /**< compute symmetries during presolving */
#define SYM_COMPUTETIMING_AFTERPRESOL SYM_TIMING_AFTERPRESOL /**< compute symmetries after presolving */

/** define symmetry types detectable by SCIP */
enum SYM_Symtype
{
Expand Down

0 comments on commit 76343c3

Please sign in to comment.