The properad of quadratic Poisson structures is Koszul

In this paper, we suggest a sufficient condition on the properadic envelope of a quadratic dioperad to be Koszul in terms of twisted associative algebras. As a particular new example, we show that the properad of quadratic Poisson structures is Koszul.