weighted-model-counting
Python package for Sentential Decision Diagrams (SDD)
Symbolic simulation of dynamic Qiskit circuits and measurement-driven loops using BDDs and weighted model counting.
Accuracy Hides Semantic Error: A Diagnostic Arena for Neuro-Symbolic Reasoning
