System-Verification-Lab
Popular repositories Loading
-
-
compact-parallel-hash-tables
compact-parallel-hash-tables PublicCompact parallel hash tables written in CUDA
-
mtbdd-benchmarks
mtbdd-benchmarks PublicForked from sebastiaanbrand/mtbdd-benchmarks
Quantum Circuit benchmarks for MTBDD implementation
OpenQASM 1
Repositories
- quokka-sharp-artifacts Public
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’s past year of commit activity - cdcl-qsat Public
System-Verification-Lab/cdcl-qsat’s past year of commit activity - Quokka-Sharp Public
System-Verification-Lab/Quokka-Sharp’s past year of commit activity - graph-state-synthesis Public
System-Verification-Lab/graph-state-synthesis’s past year of commit activity - reach-dd Public
System-Verification-Lab/reach-dd’s past year of commit activity - DiracWMC Public
System-Verification-Lab/DiracWMC’s past year of commit activity - mtbdd-benchmarks Public Forked from sebastiaanbrand/mtbdd-benchmarks
Quantum Circuit benchmarks for MTBDD implementation
System-Verification-Lab/mtbdd-benchmarks’s past year of commit activity - QuaSARQ Public Forked from muhos/QuaSARQ
Parallel Quantum Simulation and Automated Reasoning on GPUs
System-Verification-Lab/QuaSARQ’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…