MAiNGO

(类来自 pyomo.contrib.appsi.solvers.maingo)

class pyomo.contrib.appsi.solvers.maingo.MAiNGO(only_child_vars=False)[source]

基础类：PersistentBase, PersistentSolver

MAiNGO 的接口

__init__(only_child_vars=False)[源代码]

方法

__init__([only_child_vars])

add_block(block)

add_constraints(cons)

add_params(params)

add_sos_constraints(cons)

add_variables(variables)

available()

测试此系统上是否可用的求解器。

get_duals([cons_to_load])

在此处声明文档字符串中的符号约定。

get_primals([vars_to_load])

get_reduced_costs([vars_to_load])

get_slacks([cons_to_load])

is_persistent()

load_vars([vars_to_load])

将原始变量的解加载到变量的值属性中。

remove_block(block)

remove_constraints(cons)

remove_params(params)

remove_sos_constraints(cons)

remove_variables(variables)

set_instance(model)

set_objective(obj)

solve(model[, timer])

解决一个Pyomo模型。

update([timer])

update_params()

update_variables(variables)

version()

属性

config

用于配置求解选项的对象。

maingo_options

一个字典，将求解器选项映射到这些选项的值。

symbol_map

update_config

成员文档

enum Availability(value)

基础：IntEnum

as_integer_ratio()

返回整数比率。

返回一对整数，其比例完全等于原始整数，并且分母为正数。

>>> (10).as_integer_ratio()
(10, 1)
>>> (-10).as_integer_ratio()
(-10, 1)
>>> (0).as_integer_ratio()
(0, 1)
bit_count()

自身绝对值的二进制表示中1的数量。

也被称为人口计数。

>>> bin(13)
'0b1101'
>>> (13).bit_count()
3
bit_length()

表示自身所需的二进制位数。

>>> bin(37)
'0b100101'
>>> (37).bit_length()
6
conjugate()

返回自身，即任何整数的复共轭。

classmethod from_bytes(bytes, byteorder='big', *, signed=False)

返回由给定字节数组表示的整数。

bytes

保存要转换的字节数组。参数必须支持缓冲区协议或是一个生成字节的可迭代对象。Bytes 和 bytearray 是支持缓冲区协议的内置对象的示例。

byteorder

用于表示整数的字节顺序。如果字节顺序是‘big’，最高有效字节位于字节数组的开头。如果字节顺序是‘little’，最高有效字节位于字节数组的末尾。要请求主机系统的本机字节顺序，请使用sys.byteorder作为字节顺序值。默认是使用‘big’。

signed

指示是否使用二进制补码来表示整数。

to_bytes(length=1, byteorder='big', *, signed=False)

返回表示整数的字节数组。

length

要使用的字节对象的长度。如果整数不能用给定的字节数表示，则会引发OverflowError。默认长度为1。

byteorder

用于表示整数的字节顺序。如果字节顺序是‘big’，最高有效字节位于字节数组的开头。如果字节顺序是‘little’，最高有效字节位于字节数组的末尾。要请求主机系统的本机字节顺序，请使用sys.byteorder作为字节顺序值。默认是使用‘big’。

signed

确定是否使用二进制补码来表示整数。 如果 signed 为 False 并且给出了负整数，则会引发 OverflowError。

denominator

最低项有理数的分母

imag

复数的虚部

numerator

最低项有理数的分子

real

复数的实部

available()[source]

测试此系统上是否可用的求解器。

名义上，如果求解器接口有效并可用于解决问题，则返回True；如果不能，则返回False。

请注意，对于有许可证的求解器，有多个“级别”的可用性：根据许可证的不同，求解器可能在问题大小或运行时间上有限制（例如，‘demo’ vs. ‘community’ vs. ‘full’）。在这些情况下，求解器可能会返回一个enum.IntEnum的子类，如果求解器可用（可能有限制），则其成员解析为True。该枚举也可能有多个成员，所有成员都解析为False，表示接口不可用的原因（未找到、许可证无效、版本不受支持等）。

Returns:

available – 一个枚举，表示求解器的“可用性”。 请注意，该枚举可以转换为布尔值，如果求解器可以运行，则为 True，否则为 False。

Return type:

Solver.Availability

get_duals(cons_to_load=None)[source]

在此处声明文档字符串中的符号约定。

Parameters:

cons_to_load (list) – 一个包含需要加载对偶的约束的列表。如果 cons_to_load 为 None，则将加载所有约束的对偶。

Returns:

duals – 将约束映射到对偶值

Return type:

dict

get_reduced_costs(vars_to_load=None)[source]
Parameters:

vars_to_load (list) – 一个变量列表，这些变量的减少成本应该被加载。如果 vars_to_load 为 None，那么所有的减少成本 将被加载。

Returns:

reduced_costs – 将变量映射到减少的成本

Return type:

ComponentMap

get_slacks(cons_to_load: Sequence[ConstraintData] | None = None) → Dict[ConstraintData, float]
Parameters:

cons_to_load (list) – 一个包含应加载松弛变量的约束列表。如果 cons_to_load 为 None，则将加载所有约束的松弛变量。

Returns:

slacks – 将约束映射到松弛值

Return type:

dict

is_persistent()
Returns:

is_persistent – 如果求解器是持久求解器，则为True。

Return type:

bool

load_vars(vars_to_load=None)[source]

将原始变量的解加载到变量的值属性中。

Parameters:

vars_to_load (list) – 一个变量列表，这些变量的解应该被加载。如果 vars_to_load 为 None，那么所有原始变量的解将被加载。

solve(model, timer: HierarchicalTimer = None)[source]

解决一个Pyomo模型。

Parameters:
Returns:

results – 一个结果对象

Return type:

Results

version()[source]
Returns:

version – 表示版本的元组

Return type:

tuple

property config: MAiNGOConfig

用于配置求解选项的对象。

Returns:

一个用于配置pyomo求解选项的对象，例如时间限制。 这些选项大多与求解器无关。

Return type:

SolverConfig

property maingo_options

一个字典，将求解器选项映射到这些选项的值。这些是特定于求解器的。

Returns:

一个字典，将求解器选项映射到这些选项的值

Return type:

dict