質問編集履歴

3

コードの修正

2022/06/30 22:07

投稿

mazitani
mazitani

score0

test CHANGED
File without changes
test CHANGED
@@ -1,10 +1,8 @@
1
- ``````ここに言語を入力
1
+
2
2
 
3
3
  SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。画像のようなパズルを解きたいです。![イメージ説明](https://ddjkaamml8q8x.cloudfront.net/questions/2022-07-01/d0bb077f-e521-4686-a0fd-1828ecd14fce.png)
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

コード変更

2022/06/30 22:05

投稿

mazitani
mazitani

score0

test CHANGED
File without changes
test CHANGED
@@ -1,4 +1,10 @@
1
+ ``````ここに言語を入力
2
+
1
3
  SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。画像のようなパズルを解きたいです。![イメージ説明](https://ddjkaamml8q8x.cloudfront.net/questions/2022-07-01/d0bb077f-e521-4686-a0fd-1828ecd14fce.png)
4
+
5
+ ```
6
+ コード
7
+
2
8
 
3
9
  from z3 import *
4
10
 

1

画像の追加

2022/06/30 17:52

投稿

mazitani
mazitani

score0

test CHANGED
File without changes
test CHANGED
@@ -1,4 +1,4 @@
1
- SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。
1
+ SMTソルバーを用いたパズルの解法を導きたいのですが以下のような条件を付けた場合、どのように続ければいいかアドバイスいただきたいです。画像のようなパズルを解きたいです。![イメージ説明](https://ddjkaamml8q8x.cloudfront.net/questions/2022-07-01/d0bb077f-e521-4686-a0fd-1828ecd14fce.png)
2
2
 
3
3
  from z3 import *
4
4