Get a symbolic Lyapunov solver?

Hi,

Is there any symbolically Lyapunov Solver in Mathematica/Wolfram? I already searched on internet and I couldn`t found anything promising.

Thank you in advance!