[{"title":"( 2 个子文件 1.86MB ) SAT算法库 OpenSAT","children":[{"title":"SAT算法库 OpenSAT","children":[{"title":"opensat-044.zip <span style='color:#111;'> 1.61MB </span>","children":null,"spread":false},{"title":"opensat-nightly.zip <span style='color:#111;'> 313.95KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]