Benchmark datasets, CNF encodings, and evaluation scripts supporting multiple research papers based on Quokka#, a tool for SAT- and #SAT-based quantum circuit synthesis and verification. Includes input circuits, experiment data, and automation scripts for reproducibility.
-
Notifications
You must be signed in to change notification settings - Fork 0
Benchmark datasets, CNF encodings, and evaluation scripts supporting multiple research papers based on Quokka#, a tool for SAT- and #SAT-based quantum circuit synthesis and verification. Includes input circuits, experiment data, and automation scripts for reproducibility.
System-Verification-Lab/quokka-sharp-artifacts
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Benchmark datasets, CNF encodings, and evaluation scripts supporting multiple research papers based on Quokka#, a tool for SAT- and #SAT-based quantum circuit synthesis and verification. Includes input circuits, experiment data, and automation scripts for reproducibility.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published