Published October 17, 2023
| Version v1
Software
Open
Model Counting Competition 2023: Submitted Solvers
Description
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2023 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 competition report (Fichte, Hecher: The Model Counting Competitions 2021-2023).
We also refer to the competition website: https://mccompetition.org/
Files
Files
(187.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:185ee72cc674b9be4ab45bafadc461da
|
187.2 MB | Download |