ayane:定理证明者

【文件属性】：
文件名称：ayane:定理证明者
文件大小：97KB
文件格式：ZIP
更新时间：2021-03-05 04:06:59
C++ ane 定理证明者

【文件预览】：
ayane-main
----stdafx.cpp(20B)
----parser.cc(2KB)
----debug.bat(315B)
----terms.cc(7KB)
----shuffle.py(225B)
----clauses.h(1KB)
----tptp.h(150B)
----infer.h(29B)
----release.bat(224B)
----stdafx.h(919B)
----etc.cc(3KB)
----tptp_list.py(321B)
----stdafx.bat(309B)
----cnf.cc(9KB)
----problem.h(280B)
----main.cc(7KB)
----vec.h(3KB)
----keywords.txt(325B)
----pool.h(334B)
----clean.bat(80B)
----LICENSE(1KB)
----dist.py(969B)
----unify.h(202B)
----prof.sh(234B)
----types.h(454B)
----saturate.cc(9KB)
----unify.cc(2KB)
----test.cc(16KB)
----test.h(33B)
----subsume.cc(3KB)
----etc.h(1KB)
----parser.h(304B)
----build_mpir.bat(510B)
----keywords.h(636B)
----subsume.h(37B)
----clauses.cc(4KB)
----tptp_include.py(419B)
----.gitignore(320B)
----main.h(434B)
----saturate.h(14B)
----eqn.h(323B)
----szs.h(140B)
----tptp.cc(25KB)
----dimacs.h(31B)
----Makefile(579B)
----cnf.h(26B)
----ary.h(2KB)
----types.cc(4KB)
----README.md(23B)
----f.bat(58B)
----terms.h(4KB)
----check.bat(175B)
----xxhash.hh(199KB)
----dimacs.cc(2KB)
----vtun.bat(351B)
----problem.cc(437B)
----sort_code.py(6KB)
----xxhash.cc(2KB)
----keywords.py(1KB)
----keywords.cc(1KB)