2020-07-14から1日間の記事一覧
数独を制約論理プログラム iZ-C を使って解きます。------------------------------------------------------------------time ./suudoku Tue Jul 14 06:01:29 2020 Solution 1 _| 0 1 2 3 4 5 6 7 8 0: 8 7 2 5 1 4 6 3 9 1: 4 6 3 2 7 9 8 5 1 2: 5 9 1 3 …
数独を制約論理プログラム iZ-C を使って解きます。------------------------------------------------------------------time ./suudoku Tue Jul 14 06:01:29 2020 Solution 1 _| 0 1 2 3 4 5 6 7 8 0: 8 7 2 5 1 4 6 3 9 1: 4 6 3 2 7 9 8 5 1 2: 5 9 1 3 …