| 名称 | 作者 | 搜索方式 | 编程语言 | 平台 | 网址 | 备注 |
|---|---|---|---|---|---|---|
| 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 | 仅支持生命游戏 |
| 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++ | 跨平台 | 代码 | 专搜琼脂 |
| CatForce | simsim314 | 暴力搜索？ | C++ | 跨平台 | Github | 专搜催化 |
| yfind | strake | SMT | Haskell | 跨平台 | Github | 需要 Z3 |
| zfind | zdr | 不清楚 | C++ | 跨平台 | Github | |
| life slice ship search | Andrew Wade | 见其 Readme | Rust | Linux | GitLab |
生命游戏搜索程序汇总
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
- 文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
推荐阅读更多精彩内容
- 果壳网已死。临死前元胞自动机小组还回光返照了一段时间——虽然真正活跃的人大概不超过五个。 以下的代码就算是我给果壳...
- 之前写的那篇《用 Mathematica 搜索生命游戏中的静物》，由于自己写的部分多了一点（虽然关键的一步还是用 ...
