Published October 9, 2020 | Version v2
Software Open

A Verified Optimizer for Quantum Circuits -- Software Artifact

Authors/Creators

  • 1. University of Maryland
  • 2. University of Chicago

Description

Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https://arxiv.org/pdf/1912.02250.pdf. See https://github.com/inQWIRE/SQIR/tree/POPL2021 for information on running our tool.

Files

Files (6.6 GB)

Name Size
md5:47a1bca040e095049140d8b8b767be74
6.6 GB Download