class

ORTools::Sat::SolverError

Inherits Exception < Reference < Object

Raised when the C++ solver bridge cannot process the model, e.g. when the serialized proto handed to OR-Tools cannot be parsed.