  The framed little 2-discs operad is homotopy equivalent to the
Kimura-Stasheff-Voronov cyclic operad of moduli spaces of genus zero stable
curves with tangent rays at the marked points and nodes. We show that this
cyclic operad is formal, meaning that its chains and its homology (the
Batalin-Vilkovisky operad) are quasi-isomorphic cyclic operads. To prove this
we introduce a new complex of graphs in which the differential is a combination
of edge deletion and contraction, and we show that this complex resolves BV as
a cyclic operad.
