tamura70
JA
Posts
Top
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.