always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use single version string

Browse Source
This commit is contained in:
Laurent Perron
2023-01-03 16:40:55 +01:00
parent 12bce8c880
commit c7d2e168c3
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
ortools/linear_solver/sat_interface.cc
View File

@@ -28,6 +28,7 @@
#include "ortools/linear_solver/proto_solver/sat_proto_solver.h"
#include "ortools/port/proto_utils.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/cp_model_solver.h"
namespace operations_research {
@@ -243,7 +244,9 @@ bool SatInterface::IsContinuous() const { return false; }
bool SatInterface::IsLP() const { return false; }
bool SatInterface::IsMIP() const { return true; }
std::string SatInterface::SolverVersion() const { return SatSolverVersion(); }
std::string SatInterface::SolverVersion() const {
return sat::CpSatSolverVersion();
}
void* SatInterface::underlying_solver() { return nullptr; }