生命游戏搜索程序汇总

名称 作者 搜索方式 编程语言 平台 网址 备注
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
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容