class

ORTools::Sat::Solution

Inherits Reference < Object

Class contains solution of Sat-Model

Constructors

new(proto : ORTools::Sat::CpSolverResponse)

Class methods

valid?(proto : CpSolverResponse) : Bool

Returns true if the response proto passed indicates a solution was found

Instance methods

proto

status

valid?

Returns true is solution was found