文件名称:pmcsat:屡获殊荣的并行 SAT 求解器
文件大小:4.63MB
文件格式:ZIP
更新时间:2024-07-31 21:46:13
C++
卫星通信系统 Parallel SAT Solver,在 2013 年和 2014 年获得铜牌,并在上发表。 执行 基于和顺序机制。 同一个求解器的多个实例以不同的参数配置启动,它们在搜索解决方案时通过共享相关信息在一定程度上协作。 可以在找到更详细的说明。 用法 编译: ./build.sh 运行(一些输入文件示例在 input_files 文件夹中): ./binary/pmcsat_static INPUT_FILE.cnf
【文件预览】:
pmcsat-master
----core()
--------SolverTypes.h(16KB)
--------Dimacs.h(3KB)
--------sharing.cc(3KB)
--------sharing.h(3KB)
--------parallel.h(2KB)
--------Solver.cc(53KB)
--------BoundedQueue.h(4KB)
--------Constants.h(2KB)
--------Makefile(92B)
--------Main.cc(10KB)
--------Solver.h(25KB)
----mtl()
--------XAlloc.h(2KB)
--------Heap.h(5KB)
--------IntTypes.h(2KB)
--------Sort.h(3KB)
--------Alg.h(3KB)
--------Queue.h(3KB)
--------Map.h(7KB)
--------Alloc.h(4KB)
--------template.mk(3KB)
--------Vec.h(6KB)
--------config.mk(204B)
----license.txt(2KB)
----.gitignore(260B)
----README.md(817B)
----input_files()
--------schup-l2s-abp4-1-k31.cnf(789KB)
--------goldb-heqc-alu4mul.cnf(549KB)
--------maris-s03-gripper11.cnf(373KB)
--------jarvi-eq-atree-9.cnf(40KB)
--------velev-engi-uns-1.0-4nd.cnf(1.07MB)
--------aloul-chnl11-13.cnf(20KB)
--------simon-s02b-r4b1k1.2.cnf(226KB)
--------simon-s02-f2clk-50.cnf(1.58MB)
--------marijn-philips.cnf(66KB)
--------simon-s02b-r4b1k1.1.cnf(224KB)
--------simple.cnf(16B)
--------een-tip-sat-texas-tp-5e.cnf(817KB)
--------goldb-heqc-frg1mul.cnf(342KB)
--------grieu-vmpc-31.cnf(1.99MB)
--------pigeon-12.cnf(11KB)
--------cmu-bmc-longmult15.cnf(352KB)
--------prop.cnf(19B)
--------pigeon-13.cnf(14KB)
--------grieu-vmpc-27.cnf(1.3MB)
--------een-tip-sat-vis-eisen.cnf(858KB)
--------manol-pipe-c9n_i.cnf(1.61MB)
--------cmu-bmc-barrel6.cnf(137KB)
--------goldb-heqc-x1mul.cnf(957KB)
--------goldb-heqc-dalumul.cnf(1.1MB)
--------ibm-2004-29-k25.cnf(1.23MB)
--------cmu-bmc-longmult13.cnf(296KB)
--------fuhs-aprove-15.cnf(1.23MB)
--------hoons-vbmc-lucky7.cnf(359KB)
----utils()
--------Options.cc(4KB)
--------ParseUtils.h(5KB)
--------Options.h(12KB)
--------Makefile(74B)
--------System.cc(3KB)
--------System.h(2KB)
----simp()
--------SimpSolver.h(10KB)
--------SimpSolver.cc(22KB)
--------Makefile(93B)
--------Main.cc(11KB)
----build.sh(77B)