【SCOP】２つの制約条件における２変数の最適解を求めたい

Question

前提・実現したいこと

制約最適化ソルバーSCOPの練習（参考リンク　http://logopt.com/scop.htm　）
制約条件(c1,c2)における２変数(x1,x2)の最適解を求めるプログラムの実現。

発生している問題・エラーメッセージ

最後の答えがNoneになってしまい、動画通りにならない。
https://www.youtube.com/watch?time_continue=401&v=V80XVXX9a1U
（動画の６分２３秒ぐらいのところ）

 ================ Now solving the problem ================ 

Status= 1
Output= 
(None, None)

が

 ================ Now solving the problem ================ 
({'x1':'3','x2':'2'},{'c2':1})

という表示になって欲しい。

該当のソースコード

>>> import scop
>>> from scop import*
>>> m=Model()
>>> x1=m.addVariable("x1",[1,2,3])
>>> print(x1)
variable x1:['1', '2', '3'] = None
>>> x2 = m.addVariable("x2",[1,2,3])
>>> c1=Alldiff("c1",[x1,x2])
>>> m.addConstraint(c1)
>>> print(m)
Model: 
number of variables = 2  
number of constraints= 1  
variable x1:['1', '2', '3'] = None 
variable x2:['1', '2', '3'] = None 
c1: weight= 1 type=alldiff  x1 x2 ;  :LHS =0 
>>> c2=Linear("c2")
>>> c2.addTerms([3,2,1],[x1,x1,x1],[1,2,3])
>>> m.addConstraint(c2)
>>> print(c2)
c2: weight= 1 type=linear 3(x1,1) 2(x1,2) 1(x1,3) <=0

>>> m.Params.TimeLimit=1
>>> m.optimize()

 ================ Now solving the problem ================ 

Status= 1
Output= 
(None, None)
>>> 

補足情報（FW/ツールのバージョンなど）

Python3.6

動画のソースコードと相違がないか十分にチェックしてみました。
おそらく相違ないと思われますが、上手くいきませんでした。
ご教示お願いします。

参考リンク
http://logopt.com/scop.htm

###追記：
SCOP windows64トライアル版 (zip圧縮形式）
scop.pyと同じディレクトリ内にscop.exeは存在します。
「m.optimize()」を実行すると、JupyterNotebookに以下のように表示されます。

[I 13:26:45.956 NotebookApp] Adapting to protocol v5.1 for kernel b5560f83-f2c6-4525-bbc4-6505fb11d8f9
'scop' は、内部コマンドまたは外部コマンド、
操作可能なプログラムまたはバッチ ファイルとして認識されていません。

###解決までの手順：ベストアンサー参考

①scop.pyと同じディレクトリ内にscop.exeを入れる。
②下記のパイソンファイルを名前を付けて①と同じファイルに保存
（最後の行でprintを用いて答えを表示されるように改訂）
③実行

import scop
from scop import*
m=Model()
x1=m.addVariable("x1",[1,2,3])
print(x1)

x2 = m.addVariable("x2",[1,2,3])
c1=Alldiff("c1",[x1,x2])
m.addConstraint(c1)
print(m)

c2=Linear("c2")
c2.addTerms([3,2,1],[x1,x1,x1],[1,2,3])
m.addConstraint(c2)
print(c2)

m.Params.TimeLimit=1
ret = m.optimize()
print(ret)

Comments

[can110]

実行環境（OS）およびどのバージョンをダウンロード＆解凍しましたか（SCOP windows64トライアル版 (zip圧縮形式）など）？またscop.pyと同じディレクトリ内にscop.exeは存在しますか？

[84zero]

両方とも同じディレクトリに存在します。情報を追記しました。宜しくお願いします。

Answer 1

Win10にて

• SCOP windows64トライアル版 (zip圧縮形式)をダウンロードし解凍。
• 解凍したディレクトリ内にhoge.pyを作成しpython3.6.3で実行。

にて正常に動作しました。

hoge.py

# coding:utf-8
from scop import *

m=Model()
x1=m.addVariable("x1",[1,2,3])
print(x1)

x2 = m.addVariable("x2",[1,2,3])
c1=Alldiff("c1",[x1,x2])
m.addConstraint(c1)
print(m)

c2=Linear("c2")
c2.addTerms([3,2,1],[x1,x1,x1],[1,2,3])
m.addConstraint(c2)
print(c2)

m.Params.TimeLimit=1
ret = m.optimize()
print(ret)

結果

(py36) >python hoge.py
variable x1:['1', '2', '3'] = None
Model:
number of variables = 2
number of constraints= 1
variable x1:['1', '2', '3'] = None
variable x2:['1', '2', '3'] = None
c1: weight= 1 type=alldiff  x2 x1 ;  :LHS =0
c2: weight= 1 type=linear 3(x1,1) 2(x1,2) 1(x1,3) <=0

 ================ Now solving the problem ================

({'x1': '3', 'x2': '2'}, {'c2': 1})

ちなみにscop.pyと同じディレクトリにscop.exeが存在しないと以下のような結果になりました。

（同じなので略）
 ================ Now solving the problem ================

'scop' は、内部コマンドまたは外部コマンド、
操作可能なプログラムまたはバッチ ファイルとして認識されていません。
Status= 1
Output=
(None, None)

Comments

[84zero]

解決しました！ありがとうございます。
どうやら、scop.pyとscop.exeを保存した同じファイルに、
作成したPythonのファイル（この場合hoge.py）を保存していないといけないみたいです。
あとで、解決までの詳細を追記しておきます。

[84zero]

解決手順を追記しました。ありがとうございます。

Answer 2

エラーを再現できませんでした。

Status=1のエラーは何ゆえでしょう…

以下のようなファイルを用意して、
python -i filename.pyで実行すると入力部分を打ち直さくて済みます。

import scop
from scop import*
m=Model()
x1=m.addVariable("x1",[1,2,3])
print(x1)

x2 = m.addVariable("x2",[1,2,3])
c1=Alldiff("c1",[x1,x2])
m.addConstraint(c1)
print(m)

c2=Linear("c2")
c2.addTerms([3,2,1],[x1,x1,x1],[1,2,3])
m.addConstraint(c2)
print(c2)

m.Params.TimeLimit=1
m.optimize()

Comments

[84zero]

考えられる要因として、ファイルの設置場所とPathの通し方が悪いのかと思い、情報を追記しました。
宜しくお願いします。

[84zero]

解決しました！あとで、解決の詳細を追記しておきます！ありがとうございました！

[84zero]

解決手順を追記しました。ありがとうございます。