Skip to main content

SCIP_PRESOLTIMING_FINAL

Constant SCIP_PRESOLTIMING_FINAL 

Source
pub const SCIP_PRESOLTIMING_FINAL: u32 = 32;