def SolutionBooleanValue(self, index: 'int') -> "bool": return _pywrapsat.SolutionCallback_SolutionBooleanValue(self, index)
def SolutionBooleanValue(self, index): return _pywrapsat.SolutionCallback_SolutionBooleanValue(self, index)