https://pypi.org/project/pyvitri/ Recent updates to the Python Package Index for pyvitri en https://pypi.org/project/pyvitri/0.3.0/ CNF preprocessing and vtree construction for circuit compilation and model counting: a DIMACS formula goes in; a reduced formula, the arithmetic that lifts its count back, and a vtree come out. Thu, 22 Oct 2026 16:43:41 GMT