tweedledum 1.0.0b3

A library for synthesizing and manipulating quantum circuits

/!\ (Warning) If you have used tweedledum before: the master branch history is broken.
/!\ The new master branch is a completely rewrite of the library. The old version can be found
/!\ on **alpha** branch. (Sorry for the inconvenience!!---but it is for a great cause)

tweedledum is a library for synthesis, compilation, and optimization of quantum circuits. The library is written to be scalable up to problem sizes in which quantum circuits outperform classical ones. Also, it is meant to be used both independently and alongside established tools.

Its design is guided by three mantras:

• Gotta run fast: run-time performance is a priority.
• Opinionated, but not stubborn.
• Your system, your rules.

Used third-party tools

The library it is built, tested, bind to python, and whatnot using many third-party tools and services. Thanks a lot!

• abc - ABC: System for Sequential Logic Synthesis and Formal Verification
• bill - C++ header-only reasoning library
• Catch2 test framework for unit-tests, TDD and BDD
• CMake for build automation
• Eigen template library for linear algebra
• {fmt} - A modern formatting library
• kitty - truth table library
• lorina - C++ parsing library for simple formats used in logic synthesis and formal verification
• mockturtle - C++ logic network library
• nlohmann/json - JSON for Modern C++
• parallel_hashmap - A family of header-only, very fast and memory-friendly hashmap and btree containers.
• percy - C++ header-only exact synthesis library
• pybind11 - Seamless operability between C++11 and Python
• rang - A Minimal, Header only Modern c++ library for terminal goodies

Beta disclaimer

Tweedledum is in version Beta. Hence, the software is still under active development and not feature complete, meaning the API is subject to changes. This is released for developers or users who are comfortable living on the absolute bleeding edge.

License

This software is licensed under the MIT licence (see LICENSE).

EPFL logic synthesis libraries

tweedledum is part of the EPFL logic synthesis libraries. The other libraries and several examples on how to use and integrate the libraries can be found in the logic synthesis tool showcase.