SAT-2021 paper: ProCount

• ProCount: Weighted Projected Model Counting with Graded Project-Join Trees
• Repository at this point

Model Counting Competition 2022: DPMC and ProCount

• Repository at this point
• Attached assets:
  • Solver binaries (statically linked), including:
    • Preprocessor pmc
    • Tree decomposer FlowCutter

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

CP-2020 paper: DPMC

• DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
• Repository at this point