生命游戏搜索程序汇总
2018-08-10 本文已影响7人
AlephAlpha
| 名称 | 作者 | 搜索方式 | 编程语言 | 平台 | 网址 | 备注 |
|---|---|---|---|---|---|---|
| apgsearch (2.0 以上版本) | Adam P. Goucher | 汤 | C++ | 64 位 Linux | GitLab | |
| apgsearch (1.x 版) | Adam P. Goucher | 汤 | Python | Golly 脚本 | Catagolue | |
| ikpx | Adam P. Goucher | SAT 问题 | Python | 跨平台 | GitLab | 自带一个叫 MetaSAT 的 SAT Solver |
| Logic Life Search | Oscar Cunningham | SAT 问题 | Python | 号称跨平台（Windows 下需要 Cygwin） | GitHub | 需要自备 SAT Solver |
| gfind | David Eppstein | 见相关论文 | C | 跨平台 | 代码 | 专搜飞船 |
| gsearch | David Eppstein | 给定范围里的暴力搜索 | C | 跨平台 | 代码 | 很慢 |
| ofind | David Eppstein | 类似于gfind | C | 跨平台 | 代码 | 专搜振荡子 |
| lifesrc | David Bell | Dean Hickerson 发明的算法 | C | 跨平台 | 代码 | |
| JavaLifeSearch | Karel Suhajda | 同 lifesrc | Java | 跨平台 | 帖子 | lifesrc 的 Java 版 |
| WinLifeSearch | Jason Summers | 同 lifesrc | C | Windows | 官网 | lifesrc 的 Windows（图形界面）版 |
| catalyst | Gabriel Nivasch | 静物与给定图样的反应 | C++ | 跨平台 | 代码 | 参见催化 |
| Random Agar | Gabriel Nivasch | 类似于汤 | C++ | 跨平台 | 代码 | 专搜琼脂 |
