Model Counting Competition 2024: Submitted Solvers

The dataset contains the submissions that have been evaluated in the Model Counting Competition 2024 on the tracks: Track 1 (Model Counting) Track 2 (Weighted Model Counting) Track 2b (Weighted Model Counting Bonus Track) Track 3 (Projected Model Counting) Track 4 (Projected Weighted Model Counting) Details will be made public in an upcoming report. We also refer to the competition website: https://mccompetition.org/本数据集收录了2024年模型计数竞赛（Model Counting Competition 2024）各赛道中已完成评审的参赛提交作品，涉及赛道如下： 赛道1：模型计数（Model Counting） 赛道2：加权模型计数（Weighted Model Counting） 赛道2b：加权模型计数附加赛道（Weighted Model Counting Bonus Track） 赛道3：投影模型计数（Projected Model Counting） 赛道4：投影加权模型计数（Projected Weighted Model Counting） 详细赛事细节将在后续发布的官方报告中公开。相关信息亦可参考该竞赛官网：https://mccompetition.org/