This repository holds all source code (that I am legally allowed to distribute) related to the following publications:

• Dilkas P., Belle V. Weighted Model Counting with Conditional Weights for Bayesian Networks. UAI 2021.
• Dilkas P., Belle V. Weighted Model Counting Without Parameter Variables. SAT 2021.