Model Counting Competition 2022: Submitted Solvers

The dataset contains the submissions that have been evaluated in the Model Counting Competition 2022 on the tracks:

- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 3 (Projected Model Counting)
- Track 4 (Projected Weighted Model Counting)

Details will be made public in the upcoming competition report (Fichte, Hecher: The Model Counting Competitions 2021-2023).  Due to numerous names, we omit authors of the solvers from the meta information of this dataset. We refer to the aforementioned report for details.

We also refer to the competition website: https://mccompetition.org/