Model Counting Competition 2020: Submitted Solvers

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

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

Details will be made public in the publication "The Model Counting Competition 2020" by Fichte, Hecher, and Hamiti. 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/

Changelist:

2023-10-21 (v2): We updated wrappers to take the more recent competition format (MC2021 format), which is DIMACS CNF compatible.