Read the full documentation here.
The following code shows the uniform quantum state preparation for the GHZ(3) state. To prepare the state, variable reordering and dependency analysis methods are utilized. The number of CNOTs and the number of single-qubit gates are reported.
#include <angel/dependency_analysis/esop_based_dependency_analysis.hpp>
#include <angel/quantum_state_preparation/qsp_deps.hpp>
#include <angel/reordering/no_reordering.hpp>
#include <tweedledum/IR/Circuit.h>
#include <tweedledum/IR/Instruction.h>
#include <tweedledum/Utils/Visualization/string_utf8.h>
#include <kitty/constructors.hpp>
/* representing uniform quantum state as a truth table */
kitty::dynamic_truth_table tt( 3 );
kitty::create_from_binary_string( tt, "10000001" );
/* reordering strategy */
angel::no_reordering no_reorder;
/* dependency analysis method */
angel::esop_deps_analysis::parameter_type esop_ps;
angel::esop_deps_analysis::statistics_type esop_st;
angel::esop_deps_analysis esop( esop_ps, esop_st );
/* initialize the uniform quantum state preparation method */
angel::state_preparation_parameters qsp_ps;
angel::state_preparation_statistics qsp_st;
tweedledum::Circuit network;
/* run the uniform quantum state preparation */
angel::qsp_deps<decltype(network), decltype( esop ), decltype( random )>( network, esop, random, tt, qsp_ps, qsp_st);
qsp_st.report();
tweedledum::print(network);
A modern compiler is required to build angel. We are continously testing with Clang 6.0.1, GCC 7.3.0, and GCC 8.2.0. More information can be found in the documentation.
angel 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.
Note that angel does not work on windows currently.