Reverse Dependencies of statemonad

The following projects have a declared dependency on statemonad:

• polymat — A library to represent and manipulate multivariate polynomials
• sosopt — SOSOpt is a library designed for solving sums-of-squares optimization problems.