(config_filename, environment=None)
Dumps the current pysmt configuration to the specified file path

    :param config_filename: Specify the name of the config file
    :param environment: Specify the environment
Dumps the current pysmt configuration to the specified file path
Dumps the current pysmt configuration to the specified file path
def write_configuration(config_filename, environment=None):
    """Dumps the current pysmt configuration to the specified file path

    :param config_filename: Specify the name of the config file
    :param environment: Specify the environment
    """
    if environment is None:
        environment = get_env()
    config.write_environment_configuration(config_filename, environment)
def write_configuration ( config_filename , environment = None ) : if environment is None : environment = get_env ( ) config . write_environment_configuration ( config_filename , environment )