#NEWLINE# def check_constraint( self , constraint ) : #NEWLINE# #INDENT# 'Check if the instruction and restrictions added so far are\n        satisfiable.\n\n        ' #NEWLINE# self . _solver . push ( ) #NEWLINE# self . _solver . add ( constraint ) #NEWLINE# is_sat = self . _solver . check ( ) #NEWLINE# self . _solver . pop ( ) #NEWLINE# return is_sat