Skip to content
/ quipks Public

QUIPper Kripke Structure generator, a tool which converts a quantum circuit written in the Quipper language into a graph used for model checking purposes

License

Notifications You must be signed in to change notification settings

LucaFos/quipks

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

quipks

The software requires some Cabal packages to be run, all the required dependencies are listed in "quipks.cabal".

Running
ghc Main.hs
produces an executable which outputs a string that is the .dot representation of the graph.
You can use
./Main > mygraph.dot
followed by
dot -Tps mygraph.dot -o mygraph.pdf
and then open your pdf file.
You'll need Graphviz to visualize the .dot files: http://www.graphviz.org/

Note: parametrized gates aren't supported yet.

About

QUIPper Kripke Structure generator, a tool which converts a quantum circuit written in the Quipper language into a graph used for model checking purposes

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published