Simulating Quantum Circuits by Model Counting

There is a newer version of the record available.

Published April 19, 2024 | Version v3

Software Open

This artifact supports the experimental evalution for the CAV'24 submission named "Simulating Quantum Circuits by Model Counting"

Files

Name	Size	Download all
cav_artifact.zip md5:602cc450b066316fbd213ce73cd53cd0	1.2 GB	Preview Download

164

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more