sat-solver:小 SAT 求解器

[{"title":"（ 28 个子文件 13KB ） sat-solver:小 SAT 求解器","children":[{"title":"sat-solver-master","children":[{"title":"sat-core","children":[{"title":"print.dylan <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"library.dylan <span style='color:#111;'> 676B </span>","children":null,"spread":false},{"title":"sat-core.lid <span style='color:#111;'> 91B </span>","children":null,"spread":false},{"title":"parser.dylan <span style='color:#111;'> 2.86KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 37B </span>","children":null,"spread":false},{"title":"solver.dylan <span style='color:#111;'> 6.06KB </span>","children":null,"spread":false}],"spread":true},{"title":"library.dylan <span style='color:#111;'> 438B </span>","children":null,"spread":false},{"title":"sat.dylan <span style='color:#111;'> 830B </span>","children":null,"spread":false},{"title":"sat.lid <span style='color:#111;'> 39B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 2.49KB </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 562B </span>","children":null,"spread":false},{"title":"deft-package.json <span style='color:#111;'> 194B </span>","children":null,"spread":false},{"title":"registry","children":[{"title":"generic","children":[{"title":"sat-test-suite <span style='color:#111;'> 42B </span>","children":null,"spread":false},{"title":"sat-core <span style='color:#111;'> 39B </span>","children":null,"spread":false},{"title":"sat-test-suite-app <span style='color:#111;'> 46B </span>","children":null,"spread":false},{"title":"sat-core-test-suite <span style='color:#111;'> 56B </span>","children":null,"spread":false},{"title":"sat <span style='color:#111;'> 25B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"tests","children":[{"title":"sat-core","children":[{"title":"sat-core-test-suite.lid <span style='color:#111;'> 92B </span>","children":null,"spread":false},{"title":"sat-core-test-parser.dylan <span style='color:#111;'> 248B </span>","children":null,"spread":false},{"title":"sat-core-test-suite-library.dylan <span style='color:#111;'> 472B </span>","children":null,"spread":false},{"title":"sat-core-test-suite.dylan <span style='color:#111;'> 1.43KB </span>","children":null,"spread":false}],"spread":true},{"title":"sat-test-suite.lid <span style='color:#111;'> 77B </span>","children":null,"spread":false},{"title":"sat-test-suite-app.lid <span style='color:#111;'> 119B </span>","children":null,"spread":false},{"title":"sat-test-suite.dylan <span style='color:#111;'> 201B </span>","children":null,"spread":false},{"title":"sat-test-suite-library.dylan <span style='color:#111;'> 308B </span>","children":null,"spread":false},{"title":"sat-test-suite-app-library.dylan <span style='color:#111;'> 250B </span>","children":null,"spread":false},{"title":"sat-test-suite-app.dylan <span style='color:#111;'> 125B </span>","children":null,"spread":false}],"spread":true},{"title":".gitignore <span style='color:#111;'> 63B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]