walksatC语言

[{"title":"（ 12 个子文件 4.49MB ） walksatC语言","children":[{"title":"Walksat_v48","children":[{"title":"makewff.c <span style='color:#111;'> 4.03KB </span>","children":null,"spread":false},{"title":"resolve_trace <span style='color:#111;'> 1.35KB </span>","children":null,"spread":false},{"title":"makequeens.c <span style='color:#111;'> 1.37KB </span>","children":null,"spread":false},{"title":"f500u.cnf <span style='color:#111;'> 30.53KB </span>","children":null,"spread":false},{"title":"walksat.c <span style='color:#111;'> 53.39KB </span>","children":null,"spread":false},{"title":"q100.cnf <span style='color:#111;'> 21.71MB </span>","children":null,"spread":false},{"title":"f10k.cnf <span style='color:#111;'> 709.83KB </span>","children":null,"spread":false},{"title":"f500.cnf <span style='color:#111;'> 31.23KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 417B </span>","children":null,"spread":false},{"title":"f100.cnf <span style='color:#111;'> 4.82KB </span>","children":null,"spread":false},{"title":"f300.cnf <span style='color:#111;'> 16.93KB </span>","children":null,"spread":false},{"title":"README <span style='color:#111;'> 3.95KB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]