class
ORTools::Sat::SolverError
- ORTools::Sat::SolverError
- Exception
- Reference
- Object
Overview
Raised when the C++ solver bridge cannot process the model, e.g. when the serialized proto handed to OR-Tools cannot be parsed.