Links for ftcircuitsynthesis