質問編集履歴
3
コードの修正
title
CHANGED
File without changes
|
body
CHANGED
@@ -1,11 +1,9 @@
|
|
1
|
-
``````ここに言語を入力
|
2
1
|
|
2
|
+
|
3
3
|
SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。画像のようなパズルを解きたいです。
|
4
4
|
|
5
5
|
```
|
6
|
-
コード
|
7
6
|
|
8
|
-
|
9
7
|
from z3 import *
|
10
8
|
|
11
9
|
行と列
|
@@ -64,4 +62,6 @@
|
|
64
62
|
|
65
63
|
c = 左 + 右 + 上 + 下 + マスの数字 + 一より大きい + 数字の条件 + 同じ部屋に属するマスの数字はすべて異なる
|
66
64
|
|
67
|
-
s = Solver()
|
65
|
+
s = Solver()
|
66
|
+
|
67
|
+
```
|
2
コード変更
title
CHANGED
File without changes
|
body
CHANGED
@@ -1,5 +1,11 @@
|
|
1
|
+
``````ここに言語を入力
|
2
|
+
|
1
3
|
SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。画像のようなパズルを解きたいです。
|
2
4
|
|
5
|
+
```
|
6
|
+
コード
|
7
|
+
|
8
|
+
|
3
9
|
from z3 import *
|
4
10
|
|
5
11
|
行と列
|
1
画像の追加
title
CHANGED
File without changes
|
body
CHANGED
@@ -1,4 +1,4 @@
|
|
1
|
-
SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。
|
1
|
+
SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。画像のようなパズルを解きたいです。
|
2
2
|
|
3
3
|
from z3 import *
|
4
4
|
|