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}]