AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs

Published November 13, 2024 | Version v4

Software Open

Files

Name	Size
LICENSE md5:104eb593150b8748475d1e7b9c63a71b	1.1 kB	Download
README.pdf md5:5d83731e1e15a8cfa5b39dda4bc5ff8d	548.0 kB	Preview Download
tacas25.tar md5:dcfbc4709821b4fad40c0ed7a7829fc4	2.5 GB	Download

302

Views

585

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more