cheaplogic：基于分辨率的证明者找到所有证明
需积分: 9 45 浏览量
2021-02-21
06:39:29
上传
评论
收藏 443KB ZIP 举报
cheaplogic：基于分辨率的证明者找到所有证明 （508个子文件） 
cire002.cnf 8KB cire001.cnf 8KB cirf002c.cnf 4KB cire003.cnf 4KB cirf002b.cnf 3KB cirf002e.cnf 2KB cirf002.cnf 2KB ml008.cnf 2KB time3.cnf 2KB cirb005.cnf 2KB cirb004.cnf 2KB cirb006.cnf 2KB ml007.cnf 2KB ml007c.cnf 2KB ml007a.cnf 2KB cird002.cnf 2KB ml007b.cnf 2KB ml006.cnf 2KB cirf002d.cnf 2KB cirf002a.cnf 1KB ml003.cnf 1KB circ004d.cnf 1KB ml004.cnf 1KB ml005.cnf 1KB cirb003.cnf 1KB circ004e.cnf 1KB circ004c.cnf 1KB circ004a.cnf 1KB circ004b.cnf 1KB circ004.cnf 1KB cird003.cnf 1KB his001.cnf 1KB cirb001.cnf 1KB cirf003.cnf 1KB vcirc004.cnf 1KB ml002.cnf 1KB cird001.cnf 1KB vcirc003.cnf 1KB time2.cnf 1KB circ004b2.cnf 1KB vev002.cnf 956B hello.cnf 955B cirf001.cnf 921B ident002.cnf 857B have002.cnf 852B have001.cnf 818B cirb002.cnf 802B ident001.cnf 775B dop001.cnf 624B circ003.cnf 592B circ002.cnf 564B time.cnf 555B friend9.cnf 542B 20Q01.cnf 525B circ001.cnf 511B vl003.cnf 510B his002.cnf 484B 2layer.cnf 480B data015.cnf 468B magia.cnf 465B prob01.cnf 440B ml001.cnf 435B vl007.cnf 425B data000a.cnf 419B 2layer2.cnf 406B friend1.cnf 404B to3.cnf 402B extf002.cnf 391B prob00.cnf 373B vl006.cnf 360B data010.cnf 354B kb001.cnf 337B kb002.cnf 336B kb003.cnf 335B vl005.cnf 320B kpjp002.cnf 320B kpjp001.cnf 320B to2.cnf 318B to1.cnf 318B varcon.cnf 313B id4.cnf 313B kuukai2.cnf 307B vl004.cnf 306B friend41.cnf 296B jp001.cnf 295B extf001.cnf 276B vl001.cnf 276B vl002.cnf 274B everyonedie.cnf 271B friend2.cnf 270B data001.cnf 269B kp002.cnf 263B data000.cnf 261B data008.cnf 251B kp001.cnf 251B data003.cnf 249B study004.cnf 246B prop001.cnf 246B study001n.cnf 244B data018.cnf 244B共 508 条
- 1
- 2
- 3
- 4
- 5
- 6
资源评论
