pub const SCIP_COPYRIGHT: &[u8; 82] = b"Copyright (C) 2002-2022 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)\0";