Generators, relations, and homology for Ozsvath-Szabos Kauffman-states algebras

We give a generators-and-relations description of differential graded algebras recently introduced by Ozsvath and Szabo for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.