GitHub repository: vardigroup/TensorOrder
Primary language: Python
Description: A tool for weighted model counting through tensor network contraction