  We give a generators-and-relations description of differential graded
algebras recently introduced by Ozsv\'ath and Szab\'o for the computation of
knot Floer homology. We also compute the homology of these algebras and
determine when they are formal.
