LogicNG:下一代逻辑库
需积分: 29 106 浏览量
2021-05-07
02:56:40
上传
评论
收藏 3.48MB ZIP 举报
LogicNG:下一代逻辑库 （672个子文件） 
s15850-bug-onevec-gate-0.dimacs.seq.filtered.cnf 800KB too_large_gr_rcs_w6.shuffled.cnf 529KB med19.shuffled.cnf 527KB too_large_gr_rcs_w5.shuffled.cnf 438KB mot_comb3._red-gate-0.dimacs.seq.filtered.cnf 438KB example2_gr_rcs_w6.shuffled.cnf 338KB 9symml_gr_rcs_w6.shuffled.cnf 334KB avg_input.cnf 295KB avg-checker-4-23.shuffled.cnf 295KB 9symml_gr_rcs_w5.shuffled.cnf 272KB c499_gr_rcs_w6.shuffled.cnf 223KB mot_comb2._red-gate-0.dimacs.seq.filtered.cnf 184KB apex7_gr_rcs_w5.shuffled.cnf 136KB c6288-bug-gate-0.dimacs.seq.filtered.cnf 133KB c7552-bug-gate-0.dimacs.seq.filtered.cnf 98KB bf1355-075.cnf 97KB bf1355-638.cnf 97KB ca128.shuffled.cnf 95KB term1_gr_2pin_w4.shuffled.cnf 79KB term1_gr_2pin_w4.shuffled.cnf 77KB c5315-bug-gate-0.dimacs.seq.filtered.cnf 69KB mot_comb1._red-gate-0.dimacs.seq.filtered.cnf 66KB bf0432-007.cnf 50KB bart30.shuffled.cnf 49KB bf2670-001.cnf 43KB ca064.shuffled.cnf 43KB term1_gr_rcs_w4.shuffled.cnf 36KB term1_gr_rcs_w3.shuffled.cnf 27KB ca032.shuffled.cnf 20KB D1119_M23.cnf 20KB both_bdd_dnnf_5.cnf 15KB grid_10_20.shuffled.cnf 14KB both_bdd_dnnf_4.cnf 13KB both_bdd_dnnf_3.cnf 12KB both_bdd_dnnf_2.cnf 12KB pret150_75.cnf 11KB pret150_25.cnf 11KB pret150_60.cnf 11KB pret150_40.cnf 11KB dp02s02.shuffled.cnf 8KB both_bdd_dnnf_1.cnf 6KB aim-200-2_0-no-1.cnf 6KB aim-200-2_0-no-2.cnf 6KB aim-200-2_0-no-3.cnf 6KB aim-200-2_0-no-4.cnf 6KB 3col40_5_10.shuffled.cnf 5KB pret60_75.cnf 5KB pret60_60.cnf 5KB pret60_25.cnf 5KB pret60_40.cnf 5KB aim-200-1_6-no-2.cnf 5KB aim-200-1_6-no-4.cnf 5KB aim-200-1_6-no-1.cnf 5KB aim-200-1_6-no-3.cnf 5KB aim-100-2_0-no-2.cnf 3KB aim-100-2_0-no-1.cnf 3KB aim-100-2_0-no-4.cnf 3KB aim-100-2_0-no-3.cnf 3KB c-fat200-2.clq.cnf 2KB aim-100-1_6-no-1.cnf 2KB aim-100-1_6-no-3.cnf 2KB aim-100-1_6-no-4.cnf 2KB aim-100-1_6-no-2.cnf 2KB x1_16.shuffled.cnf 1KB aim-50-2_0-no-1.cnf 1KB aim-50-2_0-no-3.cnf 1KB aim-50-2_0-no-2.cnf 1KB aim-50-2_0-no-4.cnf 1KB aim-50-1_6-no-2.cnf 1KB aim-50-1_6-no-1.cnf 1KB aim-50-1_6-no-4.cnf 1KB aim-50-1_6-no-3.cnf 1KB pg4_input.cnf 437B f5_f.cnf 219B f5_t.cnf 219B f5_t.cnf 219B f5_f.cnf 219B simple_input.cnf 98B f1_f.cnf 73B f1_t.cnf 73B f1_t.cnf 73B f1_f.cnf 73B f3_t.cnf 42B f3_f.cnf 42B f3_f.cnf 42B f3_t.cnf 42B f2_t.cnf 38B f2_f.cnf 38B f2_f.cnf 38B f2_t.cnf 38B f4_f.cnf 28B f4_f.cnf 28B f4_t.cnf 28B f4_t.cnf 28B f6_t.cnf 24B f6_t.cnf 24B f6_f.cnf 24B f6_f.cnf 24B not_x_f.cnf 16B not_x_t.cnf 16B共 672 条
- 1
- 2
- 3
- 4
- 5
- 6
- 7
资源评论
