Solvers missing in math opt

[Diddlik]

What version of OR-Tools and what language are you using?
Version: 9.11
Language: C++

Which solver are you using
-> Math Opt with GLOP or Highs

What operating system (Linux, Windows, ...) and version?
Windows 11 x64

What did you do?
Compile debug version with this script:

cmake -S "%REPO_DIR%" -B "%REPO_DIR%\build_debug" ^
      -DCMAKE_BUILD_TYPE=Debug ^
      -DCMAKE_CXX_FLAGS="-D_ITERATOR_DEBUG_LEVEL=2 -O0 -g" ^
      -DCMAKE_INSTALL_PREFIX="%DEBUG_INSTALL_DIR%" ^
      -DBUILD_DEPS=ON ^
	  -DBUILD_GLOP=ON ^
	  -DBUILD_HIGHS=ON ^
	  -DBUILD_SCIP=ON ^
	  -DBUILD_EXAMPLES=OFF ^
	  -DBUILD_SAMPLES=OFF
cmake --build "%REPO_DIR%\build_debug" --config Debug --target ALL_BUILD -j %NUM_THREADS% -v
cmake --build "%REPO_DIR%\build_debug" --config Debug --target INSTALL -v

then

// Build the model.
math_opt::Model lp_model("getting_started_lp");
const math_opt::Variable x = lp_model.AddContinuousVariable(-1.0, 1.5, "x");
const math_opt::Variable y = lp_model.AddContinuousVariable(0.0, 1.0, "y");
lp_model.AddLinearConstraint(x + y <= 1.5, "c");
lp_model.Maximize(x + 2 * y);
// Set parameters, e.g. turn on logging.
math_opt::SolveArguments args;
args.parameters.enable_output = true;

// Solve and ensure an optimal solution was found with no errors.
const absl::StatusOr<math_opt::SolveResult> result =
	math_opt::Solve(lp_model, math_opt::SolverType::kGlop, args);

absl::Status aa = result.status();
cout << aa.code() << "___" << aa.message() << endl;
auto bb = result->termination.EnsureIsOptimal();

CHECK_OK(result.status());
CHECK_OK(result->termination.EnsureIsOptimal());

What did you expect to see
Optimal Solution

What did you see instead?
INVALID_ARGUMENT___solver type SOLVER_TYPE_GLOP is not registered, support for this solver has not been compiled

the same for HIGHS

If I use MpSolver instead it works fine with GLOP.

[Diddlik]

I changed a little bit the build command to

cmake -S "%REPO_DIR%" -B "%REPO_DIR%\build_debug" ^
      -DCMAKE_BUILD_TYPE=Debug ^
      -DCMAKE_CXX_FLAGS="-D_ITERATOR_DEBUG_LEVEL=2 -O0 -g" ^
      -DCMAKE_INSTALL_PREFIX="%DEBUG_INSTALL_DIR%" ^
      -DBUILD_DEPS=ON ^
	  -DBUILD_GLOP=ON ^
	  -DUSE_HIGHS=ON ^
	  -DUSE_SCIP=ON ^
	  -DBUILD_EXAMPLES=OFF ^
	  -DBUILD_SAMPLES=OFF
cmake --build "%REPO_DIR%\build_debug" --config Debug --target ALL_BUILD -j %NUM_THREADS% -v
cmake --build "%REPO_DIR%\build_debug" --config Debug --target INSTALL -v

but got the same error

[Diddlik]

I also tried it with the release library from github. With Mathopt it fails.

[Mizux]

May we have the CMakeLists.txt of your own project ? how did you "target_link" to ortools::ortools ?

On my way to do some test on linux and windows...

[Diddlik]

I use cmakelist from ortools, just compile is as shown above.
Then it is linked in visual studio

[Diddlik]

By experimenting, I found that adding the switch /ortools::wholearchive mathopt makes it work. Is this correct and intended?

[Mizux]

#4538 (comment)