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/