文件名称：Keller-encode:与凯勒猜想有关的代码
文件大小：37.37MB
文件格式：ZIP
更新时间：2024-05-04 18:32:03
TeX
凯勒编码
与凯勒猜想有关的代码
快速入门指南
包装Python脚本需要python-igraph软件包，您可以使用以下命令进行安装
$ pip3 install --user python-igraph
要编译所有必需的工具，请运行
$ make all
为了生成s = {3,4,6}情况的文件和证明，可以调用特殊目标，例如：
$ make s3
编译细节
可以指定Boost安装的位置以编译pprsearch工具：
$ make tools/pprsearch/pprsearch BOOST_ROOT=/path/to/boost
工具链详细信息
n∊ {3,4,6}的验证目标s
【文件预览】：
Keller-encode-master
----.gitmodules(106B)
----dim8()
--------Keller-8-3-sbp-ext.cnf.bz2(4MB)
--------Keller-8-6-sbp-ext.cnf.bz2(7.37MB)
--------Keller-8-4-sbp-ext.cnf.bz2(5.02MB)
--------Keller-8-4-sbp.cnf.bz2(5.02MB)
--------Keller-8-3-sbp.cnf.bz2(4MB)
--------Keller-8-2-sbp.cnf.bz2(2.79MB)
----logs()
--------table-s3.txt(835KB)
--------sorted-s6.txt(823KB)
--------plot-s4.tex(543KB)
--------plot-s6.tex(551KB)
--------plot-s3.tex(522KB)
--------table-s6.txt(1.49MB)
--------sorted-s3.txt(455KB)
--------sorted-s4.txt(882KB)
--------table-s4.txt(1.27MB)
----tools()
--------pprsearch()
--------tautology.c(2KB)
--------ppr2drat.c(14KB)
--------drat-trim()
--------dnf2cnf.sh(285B)
----slurm()
--------toolchain.sh(167B)
--------s-verify.sh(297B)
--------s-python.sh(54B)
----Keller.py(15KB)
----output()
--------s6.dnf(3.46MB)
--------s3.dnf(1.62MB)
--------s4.cnf(5.05MB)
--------s3.cnf(3.7MB)
--------s6.cnf(8.32MB)
--------s4.dnf(3.09MB)
----Keller-encode.c(4KB)
----cnf()
--------Keller-7-6-sbp.cnf.bz2(1.75MB)
--------Keller-7-3.cnf.bz2(960KB)
--------Keller-7-4-sbp.cnf.bz2(1.19MB)
--------Keller-7-6.cnf.bz2(1.75MB)
--------Keller-7-4.cnf.bz2(1.19MB)
--------Keller-7-3-sbp.cnf.bz2(961KB)
----examples()
--------s3-12345.clrat(775KB)
--------s3-12345.drat(975KB)
--------s3-12345.cnf(3.7MB)
----Makefile(3KB)
----README.md(4KB)
----minisat()
--------LICENSE(1KB)
--------minisat()