小编Ano*_*non的帖子

我得到了一个使用 python 的 abc 包的示例代码。我使用 pip 在我的笔记本电脑中安装了 abc。到包文件夹的路由在 PATH 中正确设置。

我得到的示例代码是：

'从 abc 导入 ABC，抽象方法'

如果我尝试运行它，我会收到“导入错误：无法导入名称 ABC”。但是，如果我尝试仅导入“abstractmethod”，则导入有效。

我也可以导入 ABCMeta，只是不能导入 ABC。

'从 abc 导入 ABC' <- 不工作

'from abc import ABCMeta, abstractmethod' <- 确实如此

它似乎在同一个包中，当我通过 pip 安装包时，我没有收到错误消息。那么，为什么我可以导入 'ABCMeta' 和 'abstractmethod' 而不能导入 'ABC'？

我正在尝试使用 Minizinc 中的热启动注释来为模型提供已知的次优解决方案。

我首先尝试执行 Minizinc 文档（他们提供的唯一一个）中的这个热启动示例：

array[1..3] of var 0..10: x;
array[1..3] of var 0.0..10.5: xf;
var bool: b;
array[1..3] of var set of 5..9: xs;
constraint b+sum(x)==1;
constraint b+sum(xf)==2.4;
constraint 5==sum( [ card(xs[i]) | i in index_set(xs) ] );
solve
  :: warm_start_array( [                     %%% Can be on the upper level
    warm_start( x, [<>,8,4] ),               %%% Use <> for missing values
    warm_start( xf, array1d(-5..-3, [5.6,<>,4.7] ) ),
    warm_start( xs, array1d( -3..-2, [ 6..8, 5..7 ] ) )
  ] )
  :: …