Cryptarithmetic Puzzle Solver2020年12月にCGIを停止しました． 統計情報に，唯一解のパズルが載っています． このプログラムは LLP (a Linear Logic Programming language) で書かれています． また別に，Cで書いたソルバーもあります． ソースコードのパッケージは， crypt14.tgzです (参照: README, crypt.c, crypt.h )． パッケージにはPerlで書かれた覆面算生成プログラムも含まれています． 以下は生成された覆面算の例です． Astronomy (SATURN+URANUS=PLANETS, etc.) Japanese Cities (KYOTO+OSAKA=TOKYO, etc.) Color Names (BLACK+GREEN=ORANGE, etc.) Computer (CRASH+HACKER=REBOOT, etc.) Fr
