2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/127240We consider graph complexes with a flow and compute their cohomology. More specifically, we prove that for a PROP generated by a Koszul dioperad, the corresponding graph complex gives a minimal model of the PROP. We also give another proof of the existence of a minimal model of the bialgebra PROP from math.AT/0209007. These results are based on the useful notion of a 1/2 PROP introduced by Kontsevich in an e-mail message to the first author.33 pages; this is a final version to appear in Maninfest; some corrections made, including adding a condition of connectedness of the differentialQuantum AlgebraAlgebraic Topology18D50 (primary), 55P48 (secondary)text