TensorOrder v2.0.0

Code, benchmarks, and experimental data for "Parallel Weighted Model Counting with Tensor Networks" at MCW'20.

TensorOrder v1.0.0

Code, benchmarks, and experimental data for the arXiv submission of "Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions"