SAT ソルバー (sat4j) を使用してマインスイーパ ソルバーを実装しようとしていますが、それらがどのように機能するかを簡単に理解しています。x+y+Z+....=2しかし、SAT ソルバーはブール入力を使用するため、地雷の表現方法がわかりません。以下の表のようなもの：
| | | | b | c | d | e | | | ふ | 2 | グラム | 3 | 時間 | | | 私 | じ | ｋ | 私 | メートル |
a+b+c+f+g+i+j+k = 2と と書くことができますc+d+e+g+h+k+l+m= 3。