1: \begin{abstract}

2:   The aim of this paper is to present a \PSPACE{} algorithm which yields a finite 

3:   graph of exponential size and which 

4:   describes the set of all solutions of equations in free groups as well as

5: 	the set of all solutions of equations in free monoids with involution in the presence of 

6:   rational constraints. This became possible due to the recently invented \emph{recompression} technique of the second author.

7: 

8: He successfully applied the recompression technique for pure word equations without involution or rational constraints.

9: In particular, his method could not be used as a~black box for free groups (even without rational constraints).

10: Actually, the presence of an involution (inverse elements) and rational constraints complicates the situation

11: and some additional analysis is necessary.

12: Still, the recompression technique is general enough to accommodate both extensions.

13: In the end, it simplifies proofs that solving word equations is in \PSPACE{} (Plandowski 1999)

14: and the corresponding result for equations in free groups with rational constraints (Diekert, Hagenah and Guti{\'e}rrez 2001).

15: As a byproduct we obtain a~direct proof that it is decidable in \PSPACE{} whether or not the solution set is finite.

16: \footnote{A preliminary version of this paper was presented as an invited talk at CSR 2014 in Moscow, June 7--11, 2014.}

17: \end{abstract}

18: