Posts

Lastmod: 2020-12-28

(2021-01-04) Sliding Block Puzzle Solver puzzle sliding c
Sliding Block Puzzle Solver is released as a git repository.
(2021-01-03) Polyomino Dissection and Tiling Solver puzzle tiling java
Polyomino Dissection and Tiling Solver is released as a git repository.
(2021-01-01) New Year Greetings 2021 puzzle
https://tamura70.gitlab.io/web-puzzle/calc/
(2020-12-30) GitPod for seqprover/llprover prover seqprover llprover gitpod
I created two repositories for running seqprover and llprover on GitPod.
(2020-12-23) Opening this site
We open this site.