__init__ (**kwds)
|
Constructor |
available ([exception_flag])
|
True if the solver is available |
config_block ([init])
|
|
default_variable_value ()
|
|
has_capability (cap)
|
Returns a boolean value representing whether a solver supports a specific feature. |
license_is_valid ()
|
True if the solver is present and has a valid license (if applicable) |
problem_format ()
|
Returns the current problem format. |
reset ()
|
Reset the state of the solver |
results_format ()
|
Returns the current results format. |
set_callback (name[, callback_fn])
|
Set the callback function for a named callback. |
set_options (istr)
|
|
set_problem_format (format)
|
Set the current problem format (if it's valid) and update the results format to something valid for this problem format. |
set_results_format (format)
|
Set the current results format (if it's valid for the current problem format). |
solve (*args, **kwds)
|
Solve the problem |
version ()
|
Returns a 4-tuple describing the solver executable version. |
warm_start_capable ()
|
True is the solver can accept a warm-start solution |