(self, current, tokens)
return SmtLibCommand(current, params)
(check-sat-assuming (<prop_literal>*) )
(check-sat-assuming (<prop_literal>*) )
( check - sat - assuming ( <prop_literal > * ) )
def _cmd_check_sat_assuming(self, current, tokens):
        """(check-sat-assuming (<prop_literal>*) ) """
        params = self.parse_expr_list(tokens, current)
        self.consume_closing(tokens, current)
        return SmtLibCommand(current, params)
def _cmd_check_sat_assuming ( self , current , tokens ) : params = self . parse_expr_list ( tokens , current ) self . consume_closing ( tokens , current ) return SmtLibCommand ( current , params )