(self, formula)
return None
Provides a satisfiable assignment to the state variables that are consistent with the input formula
Provides a satisfiable assignment to the state variables that are consistent with the input formula
Provides a satisfiable assignment to the state variables that are consistent with the input formula
def solve(self, formula):
        """Provides a satisfiable assignment to the state variables that are consistent with the input formula"""
        if self.solver.solve([formula]):
            return And([EqualsOrIff(v, self.solver.get_value(v)) for v in self.system.variables])
        return None
def solve ( self , formula ) : if self . solver . solve ( [ formula ] ) : return And ( [ EqualsOrIff ( v , self . solver . get_value ( v ) ) for v in self . system . variables ] ) return None