(msat_config, name, value)
Sets the given option. Might raise a ValueError.
Sets the given option. Might raise a ValueError.
Sets the given option . Might raise a ValueError .
def _set_option(msat_config, name, value):
        """Sets the given option. Might raise a ValueError."""
        check = mathsat.msat_set_option(msat_config, name, value)
        if check != 0:
            raise PysmtValueError("Error setting the option '%s=%s'" % (name,value))
def _set_option ( msat_config , name , value ) : check = mathsat . msat_set_option ( msat_config , name , value ) if check != 0 : raise PysmtValueError ( "Error setting the option '%s=%s'" % ( name , value ) )