Revision afb4474c4e8bcb56ddb911dfad916ebb0b5cdf3d authored by xinchuan on 17 June 2018, 20:26:34 UTC, committed by xinchuan on 17 June 2018, 20:26:34 UTC
Fix cnot order in Binary_Welded_Tree.
1 parent 3fc47fa
source_me
/bin/bash rkqc > /dev/null 2> /dev/null
if [ "$?" == "0" ]
then
echo
echo "It looks like \"rkqc\" is already in your \$PATH (possibly from a previous installation)."
echo "Remove the old \"rkqc\" executable from your \$PATH, then source \"source_me\" one more time."
echo
echo
else
export RKQC_PATH=$(pwd)/rkqc
export PATH=$PATH:$RKQC_PATH
fi
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...