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