Merge branch 'master' of togawa-gitlab:adc2018/adc2018-system

2018Q_create/2018_A3.txt

 SIZE 8X8X8
 LAYER 1
 2,35,35,35,15,19,17,9
-7,35,37,37,15,19,17,11
-7,35,37,39,19,19,11,11
-7,35,37,39,19,11,11,0
-7,35,37,39,11,11,0,0
-0,35,37,39,11,0,0,0
-0,11,11,11,11,0,3,4
+7,35,37,37,15,15,17,11
+7,35,37,39,0,0,0,11
+7,35,37,39,0,0,0,11
+0,35,37,39,0,0,0,11
+0,35,37,39,0,11,11,11
+0,11,11,11,11,11,3,4
 1,0,0,0,0,0,3,4
 LAYER 2
-2,33,31,43,43,0,41,9
-25,25,31,43,15,15,17,11
-0,25,31,43,43,15,17,13
-0,25,31,0,19,15,17,13
-7,25,31,0,19,15,17,13
-7,25,31,0,19,15,17,13
-0,25,31,0,19,17,17,0
-1,25,0,19,19,0,3,4
+2,33,31,0,43,19,41,9
+25,0,31,0,43,15,17,11
+25,0,31,0,43,15,17,13
+7,7,7,7,0,15,17,13
+27,27,27,7,0,15,17,13
+0,0,0,7,0,15,17,13
+25,25,0,7,0,17,17,0
+1,25,0,7,7,7,3,4
 LAYER 3
-2,33,0,0,0,0,41,9
-41,41,41,41,41,41,41,9
-0,0,0,0,0,0,0,9
-0,0,30,30,30,0,0,9
-27,27,27,27,27,27,27,9
-7,7,7,7,30,15,9,9
-0,31,31,7,7,9,9,0
-1,25,25,19,7,9,3,4
+2,33,0,0,41,19,41,9
+41,41,41,41,41,19,0,9
+25,0,31,0,0,19,0,9
+25,31,31,0,19,19,0,9
+27,31,27,27,27,27,27,9
+25,31,30,30,30,15,9,9
+25,31,30,0,19,9,9,0
+1,25,25,19,19,9,3,4
 LAYER 4
-2,33,0,0,0,0,21,21
-0,33,47,23,48,48,21,45
-0,33,0,23,0,48,21,45
-0,33,30,23,30,48,21,45
-0,33,30,23,30,48,21,45
-0,33,30,23,30,15,21,45
-0,30,30,23,0,15,21,45
+2,33,0,0,41,41,41,21
+0,33,47,23,48,48,0,45
+0,33,47,23,0,48,0,45
+25,33,47,23,19,48,0,45
+25,33,0,23,19,48,0,45
+25,33,0,23,19,15,0,45
+0,30,30,23,19,15,0,45
 1,1,1,21,21,15,4,4
 LAYER 5
-2,6,16,16,22,22,22,22
-46,6,47,16,24,29,29,22
-46,0,47,16,24,29,34,22
-46,0,47,16,24,0,34,22
-46,0,47,16,24,48,34,22
-46,22,47,0,24,48,34,0
-46,22,47,47,24,48,21,0
+2,6,16,22,22,0,0,21
+46,6,16,22,24,29,29,21
+46,16,16,22,24,29,34,21
+46,16,47,22,24,0,34,21
+46,16,47,22,24,48,34,21
+46,22,47,22,24,48,34,21
+46,22,47,47,24,48,21,21
 22,22,1,0,21,21,21,0
 LAYER 6
 2,5,10,20,20,26,26,26
 6,6,10,20,0,32,32,26
 10,10,10,29,29,29,0,26
 10,28,28,28,28,28,28,28
-10,0,0,16,0,22,22,22
-10,22,22,22,22,22,34,0
+10,16,16,16,0,0,0,0
+10,22,22,22,0,0,34,0
 10,42,42,42,42,42,42,42
 10,42,1,1,1,1,1,1
 LAYER 7
@@ -65,9 +65,9 @@ LAYER 7
 LAYER 8
 2,2,2,2,2,2,2,2
 6,5,0,12,12,12,12,0
-0,0,0,12,40,38,36,0
-0,0,12,12,40,38,36,0
-12,12,12,16,40,38,36,0
+12,12,12,12,40,38,36,0
+12,0,0,0,40,38,36,0
+12,0,0,16,40,38,36,0
 12,0,0,16,40,38,36,0
 12,18,0,16,38,38,36,8
 10,18,20,16,36,36,36,1

2018Q_create/2018_Q2.txt

 SIZE 72X72X8
-LINE_NUM 14
+LINE_NUM 22 
 
 LINE#1 (36,71,8) (36,71,2)
 LINE#2 (37,71,5) (38,71,5)

2018Q_create/2018_Q3.txt

@@ -7,7 +7,7 @@ LINE#3 (6,6,1) (6,7,3)
 LINE#4 (6,7,4) (7,6,1)
 LINE#5 (1,1,8) (1,0,6)
 LINE#6 (0,1,8) (1,0,5)
-LINE#7 (0,1,1) (5,7,3)
+LINE#7 (0,1,1) (5,7,2)
 LINE#8 (7,6,8) (2,0,7)
 LINE#9 (5,7,3) (7,0,1)
 LINE#10 (2,0,6) (0,7,8)

README.md

 # ADC2018
----
+
 A cooperative system using multiple FPGAs for a simple 3D-Numberlink puzzle solver
 
+## Environments
+
+実際のソルバで使用している環境．
+
++ デバイス
+    - Raspberry Pi 3 B+
+    - PYNQ
+    - ZU3EG
+
++ ソフトウェア
+    - Python >= 3.5 (通信プログラム)
+        * Flask
+        * gevent
+        * gevent-websocket
+    - Vivado (Web Pack) >= 18.1 (FPGAの合成)
+
+## Setups
+
+[Wiki](https://www.togawa.cs.waseda.ac.jp/gitlab/adc2018/adc2018-system/wikis/home)も参照されたい．
+
+各端末でこのリポジトリをCloneする．
+
+```
+cd ~
+git clone https://www.togawa.cs.waseda.ac.jp/gitlab/adc2018/adc2018-system.git
+```
+
+## System
+
++ サーバ
+    - [通信用スクリプト](comm/server)
++ ソルバ
+    - [通信用スクリプト](comm/client)
+    - [高位合成用プログラム](hls)
++ リゾルバ
+    - [通信用スクリプト](comm/resolver)
+
 ## Our previous works
 
 * [pynq-router](https://github.com/kotarot/pynq-router)
 * [nl-solver](https://github.com/kotarot/nl-solver)
+
+## License
+This software is released under GPL v3 License, see [LICENSE](LICENSE).

comm/README.md

-# DAS2017 ADC RaspberryPi・PYNQ間HTTP通信プログラム
+# DAS2018 ADC RaspberryPi, ソルバ, リゾルバ HTTP通信プログラム
 
 # 概要
 
-DAS2017アルゴリズムデザインコンテストに向けた，端末間通信プラグラム．
-親となるRaspberry Piから，子となる複数のPYNQに対し問題を配信し，結果を受け取る．
+DAS2018アルゴリズムデザインコンテストに向けた，端末間通信プラグラム．
+親となるRaspberry Piから，子となる複数のソルバ，リゾルバに対し問題を配信し，結果を受け取る．
 
 # 構成
 
-+ server: Raspberry Pi上で実行するためのサーバプラグラム．問題をクライアントに配信し，結果を受け取る．
-+ client: PYNQ上で実行するためのクライアントプログラム．問題をサーバから受け取り，問題を解いて回答をサーバに返す．
++ server: Raspberry Pi上で実行するためのサーバプラグラム．問題をソルバに配信し，結果を受け取る．
++ client: ソルバをFPGA上で実行するためのクライアントプログラム．問題をサーバから受け取り，問題を解いて解けたら結果をリゾルバに送り，解けなかったら結果をサーバに報告する．
++ resolver: ソルバから初期解を受け取り，リゾルバでより良い解に整形する．
 + README.md: このファイル．
 
 # Requirements

comm/client/README.md

-DAS2017 ADC クライアントプログラム
+DAS2018 ADC クライアントプログラム
 ===
 
-DAS2017 アルゴリズムデザインコンテスト用クライアントプログラム
+DAS2018 アルゴリズムデザインコンテスト用クライアントプログラム
 
 ## Description
 
-問題データをサーバから受信し，結果をサーバへ返すプログラム．
+問題データをサーバから受信し，結果をリゾルバやサーバへ送るプログラム．
 
 ## Requirements
 
@@ -22,7 +22,7 @@ python3 main.py [--port XXXX] [--host XXXX]
 
 <dl>
     <dt>-H, --host</dt>
-    <dd>サーバホストのアドレス (デフォルト：192.168.4.1:5000)</dd>
+    <dd>サーバホストのアドレス (デフォルト：192.168.5.1:5000)</dd>
     
     <dt>-p, --port</dt>
     <dd>使用するポート (デフォルト：5000)</dd>

comm/server/README.md

@@ -22,7 +22,11 @@ python3 main.py [--question XXXX] [--port XXXX] [--clients XXXX]
 
 <dl>
     <dt>-c, --client</dt>
-    <dd>クライアントを定義したテキストファイル．1行ずつホスト名を記述する(必要ならばポート番号も記述する)，必須</dd>
+    <dd>
+        クライアントを定義したテキストファイル．1行ずつアドレスと役割を記述する(必要ならばポート番号も記述する)，必須．
+        ホスト名と対応するアイコン画像もオプションで指定できる．<br />
+        `アドレス 役割 [名前] [画像ファイルへのパス]`
+    </dd>
     
     <dt>-q, --question</dt>
     <dd>問題ファイルのパス (デフォルト：./)</dd>
@@ -32,8 +36,14 @@ python3 main.py [--question XXXX] [--port XXXX] [--clients XXXX]
 
     <dt>-p, --port</dt>
     <dd>サーバのポート (デフォルト：5000)</dd>
+
+    <dt>-a, --adccli</dt>
+    <dd>
+        ADC自動運営システムへのログイン情報を記録したjsonファイルへのパス．
+        `{"url": XXX, "username": YYY, "password": ZZZ}`の形式で保存する．
+    </dd>
 </dl>
 
 ## Comments
 
-This project uses some libraries: jQuery, Bootstrap
+This project uses some libraries: jQuery, Bootstrap, and three.js.