Last released Feb 25, 2026
A package for reasoning based on quantum circuits
Last released Sep 30, 2025
A package for reasoning based on tensor networks
Supported by