The _solver_table maps solver Modules as Symbols (e.g., :Cbc) to a tuple of (name, verbose, quiet) values.

clear_solver_options()

clears all solver options.

get_solver()

Generates the necessary arguments for creating a JuMP Model. That is, one just uses Model(get_solver()).

get_solver_name()

Returns the solver module that is currently chosen.

get_solver_options()::Dict

returns the dictionary of current solver options.

set_solver(OPT_NAME::Module = GLPK, verb::Bool = true)

sets the optimization solver to be used.

This automatically invokes clear_solver_options() and then sets the appropriate option for verbose output based on the value of the (optional) verb argument.

set_solver_options(kwd::String, val)
set_solver_options(d::Dict)

set_solver_options(kwd::Symbol, val) set an option to be used by the solver.

set_solver_options(d::Dict) adds all the options in d.

set_solver_verbose(verb::Bool = true)

sets how verbose the solver is during its work.