Metadata-Version: 2.4
Name: quokka_sharp
Version: 2.7.1
Summary: Quokka Sharp
Author: System Verification Lab
Author-email: j.mei@liacs.leidenuniv.nl
Keywords: python,quantum circuits
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Operating System :: MacOS :: MacOS X
Classifier: Operating System :: Microsoft :: Windows
Classifier: Operating System :: POSIX :: Linux
Requires-Dist: numpy>=2.2
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: keywords
Dynamic: requires-dist
Dynamic: summary


                    Quokka Sharp for simulating and equivalence checking 
                    of quantum circuits based on weighted model counting.
                    Please intall a weighted model counting tool first.
                    Please refer to https://github.com/System-Verification-Lab/Quokka-Sharp for more details.
                    
