Inherits ORTools::Sat::IntVar < Reference < Object
A subclass of IntVar for Booleans where 0 is false and 1 is true
For a BoolVar a negative index is the logical NOT, i.e. (1 - x), matching ValidSolution#value(BoolVar).