Model Counting Competition 2024: Submitted Solvers

<p>The dataset contains the submissions that have been evaluated in the Model Counting Competition 2024 on the tracks:</p> <ul> <li>Track 1 (Model Counting)</li> <li>Track 2 (Weighted Model Counting)</li> <li>Track 2b (Weighted Model Counting Bonus Track)</li> <li>Track 3 (Projected Model Counting)</li> <li>Track 4 (Projected Weighted Model Counting)</li> </ul> <p><br>Details will be made public in an upcoming report.</p> <p>We also refer to the competition website: https://mccompetition.org/</p>