VeriQ AncillaGuard

Verifies and repairs dirty-ancilla safety in Qiskit circuits using decision diagrams and weighted model counting.

• Early Project (1)

  1. All the early projects

  ---

  Limited support experimental(1)

  1. All the experimental projects

  Interfaces Python(1) Command-line interface (CLI)(2)

  1. All the projects with Python interface
  2. All the projects with Command-line interface (CLI) interface

  Category Tooling(1)

  1. All the projects in the Tooling category

  Labels quantum information(1) research(2) openqasm(3)

  1. All the projects labeled with quantum information
  2. All the projects labeled with research
  3. All the projects labeled with openqasm

• URLs

  ---

  Source code
  Reference paper

Badge

[![Qiskit Ecosystem](https://qisk.it/e-b51efcba)](https://qisk.it/e)

Style flat
Check out Badges section to learn more about how badges are used for status communication or on how to change the badge style.

---

Checkups

Check up	Importance	What is failing	Days left	Discussion
[G15] Have a description on the GitHub repository	NICE-TO-HAVE	The GitHub repository has no description, the one line that introduces the project on its repository page and in every GitHub listing it appears in	∞	membership predates the checkup · discussion

---

Packages

PyPI package	Release	Last month	Last 180 days
veriq-ancillaguard	0.1.0	17	162

---

Qiskit requirements

Declared in	Requires	V1	V2	Highest supported
PyPI veriq-ancillaguard	<3,>=2.0			2.6.1