https://github.com/jacquescarette/retrodictive

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
https://github.com/jacquescarette/retrodictive

partial-evaluators quantum-computing symbolic-execution

Last synced: 15 days ago
JSON representation

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS

• Host: GitHub
• URL: https://github.com/jacquescarette/retrodictive
• Owner: JacquesCarette
• License: bsd-3-clause
• Created: 2021-09-21T17:51:23.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-06-10T11:20:02.000Z (over 1 year ago)
• Last Synced: 2024-11-06T08:44:15.385Z (2 months ago)
• Topics: partial-evaluators, quantum-computing, symbolic-execution
• Language: TeX
• Homepage:
• Size: 49.6 MB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Retrodictive

For exploring symbolic evaluation of quantum circuits, both running forward and, more importantly, backwards.

We do *symbolic execution* of circuits that residualize symbolic constraints. The ideas are rooted

in partial evaluation, even though that's not quite what the resulting code ends up doing.

This repository contains the paper and slide sources. The code is in a different repository, namely [RetroPECode](https://github.com/JacquesCarette/RetroPECode).