名称 | 作者 | 搜索方式 | 编程语言 | 平台 | 网址 | 备注 |
---|---|---|---|---|---|---|
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++ | 跨平台 | 代码 | 专搜琼脂 |
网友评论