名称 | 作者 | 搜索方式 | 编程语言 | 平台 | 网址 | 备注 |
---|---|---|---|---|---|---|
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 搜索生命游戏中的静物》,由于自己写的部分多了一点(虽然关键的一步还是用 ...