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.ipynb
and the otherqwmc_machine.ipynb
for execution on theibmq_16_melbourne
quantum machine