teratail header banner
teratail header banner
質問するログイン新規登録

質問編集履歴

3

コードの修正

2022/06/30 22:07

投稿

mazitani
mazitani

スコア0

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

コード変更

2022/06/30 22:05

投稿

mazitani
mazitani

スコア0

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

1

画像の追加

2022/06/30 17:52

投稿

mazitani
mazitani

スコア0

title CHANGED
File without changes
body 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