Experimental repository for "Certified Core-Guided MaxSAT Solving"

Experimental repository for the paper "Certified Core-Guided MaxSAT Solving" Directory structure: - `examples`: Some example MaxSAT instances in WCNF format with proofs. - `plots`: Plots generated from our experiments; also contain the plots used in the paper. - `raw_data`: Raw data from the experiments and scripts to analyze the raw data. - `source_code`: The source code for the certifying version of CGSS (`certified-cgss`), vanilla CGSS with the bugs fixed (`cgss`) and the pseudo-Boolean proof check VeriPB (`VeriPB`) used to run the experiments.论文《Certified Core-Guided MaxSAT Solving》对应的实验代码仓库。其目录结构如下： - `examples`：存放若干采用WCNF（加权合取范式，Weighted Conjunctive Normal Form）格式的MaxSAT（最大可满足性问题）示例算例及对应验证证明。 - `plots`：存放实验生成的各类图表，同时包含论文中使用的相关图表。 - `raw_data`：存储实验产生的原始数据，以及用于分析该原始数据的脚本文件。 - `source_code`：包含本次实验所用的全部源代码：分别为支持认证功能的CGSS版本（certified-cgss）、修复了漏洞的原版CGSS（cgss），以及用于开展实验的伪布尔证明校验器VeriPB。