mqt.qusat (pypi): MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing
Keywords: MQT|quantum computing|design automation|satisfiability|quantum-computing