This repository contains the code for performing Quantum Weighted Model Counting in
- Microsoft's Q#
- IBM's qiskit: the folder contains two notebooks, one for simulation
qwmc.ipynband the otherqwmc_machine.ipynbfor execution on theibmq_16_melbournequantum machine