munich-quantum-toolkit

munich-quantum-toolkit/qusat

View on GitHub

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

Stars
28
Forks
4
Open beginner issues
0
Indexed issues
2
Avg merge
4h 31m
Merged PRs (30d)
37
Dominant language
C++
License
MIT
Last GitHub push
Sep 19, 2026
Latest indexed
Sep 20, 2026
Contributing guide
Contributing guide
Code of conduct
Code of conduct
Beginner labels
No beginner labels indexed
2 open issues indexed Loading issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.