(self, current, tokens)
return SmtLibCommand(current, [])
(get-unsat-assumptions)
(get-unsat-assumptions)
( get - unsat - assumptions )
def _cmd_get_unsat_assumptions(self, current, tokens):
        """(get-unsat-assumptions)"""
        self.parse_atoms(tokens, current, 0)
        return SmtLibCommand(current, [])
def _cmd_get_unsat_assumptions ( self , current , tokens ) : self . parse_atoms ( tokens , current , 0 ) return SmtLibCommand ( current , [ ] )