S-SAT - Sapienza SAT-开源
需积分: 5 104 浏览量
2021-04-28
02:33:46
上传
评论
收藏 79KB TGZ 举报
s-sat-0.6beta.tgz （35个子文件） 
s-sat-0.6beta src 
Makefile 752B vettori.c 3KB modulo1.h 0B modulo1.c 5KB logger.c 646B clausole.h 356B solver.c 14KB solver.h 2KB logger.h 345B letterali.h 468B clausole.c 3KB main.c 2KB vettori.h 2KB README 2KB test test_6-SAT.cnf 153B generate-3sat 8KB test_14-SAT.cnf 2KB .kdbgrc.modulo1 222B test_1-SAT.cnf 104B test_11-UNSAT.cnf 2KB test_12-SAT.cnf 2KB test_7-SAT.cnf 197B test_10-UNSAT.cnf 2KB test_2-UNSAT.cnf 56B test.c 2KB test_8-SAT.cnf 135KB test_3-SAT.cnf 60B test_13-UNSAT.cnf 2KB test_4-SAT.cnf 176B run.sh 3KB test_9-SAT.cnf 2KB test_5-SAT.cnf 133B a.out 21KB .kdbgrc.a.out 314B generate-3sat.c 2KB资源评论
