Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
MQT QuSAT 1.4.1.dev82 documentation
Light Logo Dark Logo
MQT QuSAT 1.4.1.dev82 documentation
  • MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing

User Guide

  • Installation
  • References

Developers

  • Contributing
  • Support

Python API Reference

  • mqt.qusat
    • mqt.qusat.pyqusat
Back to top
The Munich Quantum Toolkit has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No. 101001318), the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program, as well as the Munich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus.
MQT Funding Footer
MQT Funding Footer
Copyright © 2023 - 2026 Chair for Design Automation, TUM & 2025 - 2026 Munich Quantum Software Company