MonomialIntegerPrograms assumes SCIP was compiled with ZIMPL support

[d-torrance]

The MonomialIntegerPrograms package provides an interface to SCIP for constraint integer programming. However, it assumes that SCIP was compiled with ZIMPL support. And the SCIP package in Homebrew currently isn't compiled with ZIMPL support so we get a bunch of errors when building Macaulay2 if the Homebrew SCIP is installed:

 -- Summary: 8 example(s) failed in package MonomialIntegerPrograms:
 -- degreeIP                           ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:698:0 
 -- loadSCIPCodimAndDegree             ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:1088:0
 -- loadBuiltinCodimAndDegree          ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:1061:0
 -- IgnorePrimes                       ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:1035:0
 -- topMinimalPrimesIP                 ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:1012:0
 -- monomialIdealsWithHilbertFunction  ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:875:0 
 -- minimalPrimesIP                    ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:1128:0
 -- dimensionIP                        ../../../../../Macaulay2/packages/MonomialIntegerPrograms.m2:740:0 
../../../../../Macaulay2/m2/debugging.m2:18:13:(1):[9]: error: installPackage: 8 error(s) occurred in running examples for package MonomialIntegerPrograms

Build logs from #4034

Note that SCIP is currently not packaged for Debian/Ubuntu (mostly due to historical licensing issues which are no longer a problem). This will likely change at some point, as I just packaged SCIP (and ZIMPL) for Debian, but it takes a while for new packages to be approved to enter the archive. They almost certainly won't make the next Ubuntu LTS release coming out this April.

[d-torrance]

Possible workaround: SCIP prints its external libraries on startup. From the documentation:

SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0c80fdd8e9-dirty]
Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
 
External libraries: 
  Readline 8.2         GNU library for command line editing (gnu.org/s/readline)
  SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 2207cfb2]
  CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
  ZLIB 1.2.13          General purpose compression library by J. Gailly and M. Adler (zlib.net)
  TinyCThread 1.2      small portable implementation of the C11 threads API (tinycthread.github.io)
  GMP 6.2.1            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  ZIMPL 3.7.0          Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)
  AMPL/MP 4.0.3        AMPL .nl file reader library (github.com/ampl/mp)
  PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
  Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
  sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
  Ipopt 3.14.18        Interior Point Optimizer developed by A. Waechter et.al. (github.com/coin-or/Ipopt)
 
user parameter file <scip.set> not found - using default parameters'

Fire up SCIP, parse this, and decide not to use SCIP if we don't match "ZIMPL".