Model Counting Competition 2021: DPMC and ProCount
- Competition release:
- DPMC competed in Tracks 1, 2, and 4 (unprojected counting)
- ProCount competed in Track 3 (projected counting)
- Repository at this point
- Attached assets:
- Solver description
- Solver binaries (statically linked), including:
- Preprocessor pmc
- Tree decomposer FlowCutter