sat-cnf-converter:用于将布尔公式从 DIMACS SAT 转换为 DIMACS CNF 格式的小实用程序。 用C++语言编写

[{"title":"（ 63 个子文件 45KB ） sat-cnf-converter:用于将布尔公式从 DIMACS SAT 转换为 DIMACS CNF 格式的小实用程序。 用C++语言编写","children":[{"title":"sat-cnf-converter-master","children":[{"title":"project.pro <span style='color:#111;'> 2.41KB </span>","children":null,"spread":false},{"title":"LICENSE <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false},{"title":"src","children":[{"title":"Core","children":[{"title":"application.h <span style='color:#111;'> 2.18KB </span>","children":null,"spread":false},{"title":"application.cpp <span style='color:#111;'> 4.51KB </span>","children":null,"spread":false}],"spread":true},{"title":"Factory","children":[{"title":"nodefactory.cpp <span style='color:#111;'> 934B </span>","children":null,"spread":false},{"title":"nodefactory.h <span style='color:#111;'> 846B </span>","children":null,"spread":false}],"spread":true},{"title":"Model","children":[{"title":"satfilemodel.cpp <span style='color:#111;'> 1.15KB </span>","children":null,"spread":false},{"title":"filemodel.h <span style='color:#111;'> 783B </span>","children":null,"spread":false},{"title":"Node","children":[{"title":"abstractnode.h <span style='color:#111;'> 2.01KB </span>","children":null,"spread":false},{"title":"truenode.cpp <span style='color:#111;'> 519B </span>","children":null,"spread":false},{"title":"falsenode.cpp <span style='color:#111;'> 526B </span>","children":null,"spread":false},{"title":"variablenode.cpp <span style='color:#111;'> 835B </span>","children":null,"spread":false},{"title":"truenode.h <span style='color:#111;'> 428B </span>","children":null,"spread":false},{"title":"falsenode.h <span style='color:#111;'> 434B </span>","children":null,"spread":false},{"title":"Operation","children":[{"title":"notoperationnode.cpp <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false},{"title":"xoroperationnode.h <span style='color:#111;'> 535B </span>","children":null,"spread":false},{"title":"abstractoperationnode.h <span style='color:#111;'> 637B </span>","children":null,"spread":false},{"title":"equivalenceoperationnode.cpp <span style='color:#111;'> 1.36KB </span>","children":null,"spread":false},{"title":"andoperationnode.h <span style='color:#111;'> 601B </span>","children":null,"spread":false},{"title":"andoperationnode.cpp <span style='color:#111;'> 1.27KB </span>","children":null,"spread":false},{"title":"notoperationnode.h <span style='color:#111;'> 565B </span>","children":null,"spread":false},{"title":"abstractoperationnode.cpp <span style='color:#111;'> 298B </span>","children":null,"spread":false},{"title":"oroperationnode.cpp <span style='color:#111;'> 1.30KB </span>","children":null,"spread":false},{"title":"equivalenceoperationnode.h <span style='color:#111;'> 583B </span>","children":null,"spread":false},{"title":"oroperationnode.h <span style='color:#111;'> 593B </span>","children":null,"spread":false},{"title":"xoroperationnode.cpp <span style='color:#111;'> 1.23KB </span>","children":null,"spread":false}],"spread":false},{"title":"abstractnode.cpp <span style='color:#111;'> 3.60KB </span>","children":null,"spread":false},{"title":"variablenode.h <span style='color:#111;'> 623B </span>","children":null,"spread":false}],"spread":true},{"title":"Collection","children":[{"title":"chain.cpp <span style='color:#111;'> 62B </span>","children":null,"spread":false},{"title":"chainelement.h <span style='color:#111;'> 1.70KB </span>","children":null,"spread":false},{"title":"chain.h <span style='color:#111;'> 2.51KB </span>","children":null,"spread":false},{"title":"chainiterator.cpp <span style='color:#111;'> 139B </span>","children":null,"spread":false},{"title":"chainiterator.h <span style='color:#111;'> 4.07KB </span>","children":null,"spread":false},{"title":"chainelement.cpp <span style='color:#111;'> 87B </span>","children":null,"spread":false}],"spread":true},{"title":"cnffilemodel.h <span style='color:#111;'> 541B </span>","children":null,"spread":false},{"title":"filemodel.cpp <span style='color:#111;'> 481B </span>","children":null,"spread":false},{"title":"cnffilemodel.cpp <span style='color:#111;'> 529B </span>","children":null,"spread":false},{"title":"satfilemodel.h <span style='color:#111;'> 783B </span>","children":null,"spread":false}],"spread":true},{"title":"Translator","children":[{"title":"sattocnftranslator.cpp <span style='color:#111;'> 15.69KB </span>","children":null,"spread":false},{"title":"sattocnftranslator.h <span style='color:#111;'> 2.81KB </span>","children":null,"spread":false}],"spread":true},{"title":"main.cpp <span style='color:#111;'> 187B </span>","children":null,"spread":false},{"title":"IO","children":[{"title":"outputfilewriter.cpp <span style='color:#111;'> 694B </span>","children":null,"spread":false},{"title":"inputfilereader.cpp <span style='color:#111;'> 630B </span>","children":null,"spread":false},{"title":"inputreader.h <span style='color:#111;'> 439B </span>","children":null,"spread":false},{"title":"inputreader.cpp <span style='color:#111;'> 290B </span>","children":null,"spread":false},{"title":"outputfilewriter.h <span style='color:#111;'> 418B </span>","children":null,"spread":false},{"title":"inputfilereader.h <span style='color:#111;'> 523B </span>","children":null,"spread":false}],"spread":true},{"title":"Adapter","children":[{"title":"cnfadapter.h <span style='color:#111;'> 679B </span>","children":null,"spread":false},{"title":"cnfadapter.cpp <span style='color:#111;'> 3.99KB </span>","children":null,"spread":false},{"title":"satadapter.cpp <span style='color:#111;'> 8.11KB </span>","children":null,"spread":false},{"title":"satadapter.h <span style='color:#111;'> 3.60KB </span>","children":null,"spread":false}],"spread":true},{"title":"Exception","children":[{"title":"expressionequalsfalseexception.h <span style='color:#111;'> 352B </span>","children":null,"spread":false},{"title":"expressionequalstrueexception.cpp <span style='color:#111;'> 168B </span>","children":null,"spread":false},{"title":"expressionequalstrueexception.h <span style='color:#111;'> 347B </span>","children":null,"spread":false},{"title":"expressionequalsfalseexception.cpp <span style='color:#111;'> 171B </span>","children":null,"spread":false}],"spread":true},{"title":"Utils","children":[{"title":"datetimeutil.h <span style='color:#111;'> 474B </span>","children":null,"spread":false},{"title":"stringutil.h <span style='color:#111;'> 1.24KB </span>","children":null,"spread":false},{"title":"datetimeutil.cpp <span style='color:#111;'> 500B </span>","children":null,"spread":false},{"title":"translationutil.h <span style='color:#111;'> 1.68KB </span>","children":null,"spread":false},{"title":"translationutil.cpp <span style='color:#111;'> 15.14KB </span>","children":null,"spread":false},{"title":"stringutil.cpp <span style='color:#111;'> 1.44KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":".gitignore <span style='color:#111;'> 21B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]