Announcement_4

完成 NLIP → MaxSAT benchmark 过滤管线，覆盖 QPLIB、NL、SMT-LIB、CSPlib、XCSP 五个来源库，得到 137 个 QPLIB 实例与 2591 个 SMT-LIB 实例，作为后续编码评测的主数据集。