2021年11月20日
求解器代码分析-Kissat的输出代码
摘要： 屏幕输出相关结果分散在多个.c文件中 一个典型的求解输出： 1 Administrator@PC-20170726RROZ /cygdrive/d/SATceshi2021-11 2 $ ./kissat.exe dist8.c.cnf 3 c [ banner ] 4 c 5 c KISSAT S 阅读全文
posted @ 2021-11-20 18:49 海阔凭鱼跃越 阅读(315) 评论(0) 推荐(0) 编辑