私はPythonで制約プログラミングを学習していますが、問題解決のためにSCIPソルバーを使用することになっています。私はMistral、Mistral2、Toulbar2、MipWrapper、SatWrapper、MiniSat、Walksatソルバを含むGithubの魔女からNumberjack標準パッケージをインストールしました。 、私はすでに 'scipoptsuite-3.1.0' でmake
を走り、 'SCIP-3.2.1' にPython3.5 Numberjack(OSX)にSCIPソルバーをインストール
Traceback (most recent call last):
File "/Users/angelocoelho/anaconda3/lib/python3.5/site-packages/Numberjack/__init__.py", line 910, in load
lib = __import__(solverstring, fromlist=[solverspkg])
ImportError: No module named 'Numberjack.solvers.SCIP'
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "grafosdefluxos.py", line 42, in <module>
solver = model.load('SCIP')
File "/Users/angelocoelho/anaconda3/lib/python3.5/site-packages/Numberjack/__init__.py", line 915, in load
solvername)
ImportError: ERROR: Failed during import, wrong module name? (SCIP)
Numberjack-をインストール:自分のコードを実行する
は、私は次のエラーを得ましたこれを試しマスター「S 'setup.py' と:
python setup.py -solver SCIP
魔女がERを返さror
Error: the solver 'SCIP' is not known, please use one of: Mistral, SatWrapper, Toulbar2, Walksat, MipWrapper, MiniSat, Mistral2
私はNumberjackフォルダの内側と内側にSCIPフォルダを持っています。 READMEファイルとINSTALLファイルのすべてのコマンドを読んで実行しましたが、このソルバーをどのように設定することができたのですが、正しく取得できませんでした。 Numberjackの問題を解決するためにSCIPを入手するにはどうすればよいですか?
Numberjackのセットアップルーチンが壊れているようです。 'python setup.py build'を実行すると、他のソルバーが指定されていても常にCPLEXが検索されます。アップデートのためにhttps://github.com/eomahony/Numberjack/issues/47を参照してください。 – mattmilten