SAT问题求解

[{"title":"（ 13 个子文件 10KB ） SAT问题求解","children":[{"title":"www.pudn.com.txt <span style='color:#111;'> 218B </span>","children":null,"spread":false},{"title":"mycode","children":[{"title":"Debug","children":null,"spread":false},{"title":"3sat.c <span style='color:#111;'> 4.37KB </span>","children":null,"spread":false},{"title":"3sat.opt <span style='color:#111;'> 47.50KB </span>","children":null,"spread":false},{"title":"新建文件夹","children":[{"title":"Text2.dsp <span style='color:#111;'> 3.31KB </span>","children":null,"spread":false},{"title":"Debug","children":null,"spread":false},{"title":"Text2.dsw <span style='color:#111;'> 535B </span>","children":null,"spread":false},{"title":"Text2.ncb <span style='color:#111;'> 33.00KB </span>","children":null,"spread":false},{"title":"Text2.plg <span style='color:#111;'> 244B </span>","children":null,"spread":false},{"title":"Text2.opt <span style='color:#111;'> 47.50KB </span>","children":null,"spread":false},{"title":"Text2.txt <span style='color:#111;'> 413B </span>","children":null,"spread":false}],"spread":true},{"title":"3sat.plg <span style='color:#111;'> 242B </span>","children":null,"spread":false},{"title":"3sat.dsp <span style='color:#111;'> 3.30KB </span>","children":null,"spread":false},{"title":"3sat.ncb <span style='color:#111;'> 41.00KB </span>","children":null,"spread":false},{"title":"3sat.dsw <span style='color:#111;'> 533B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]