  In this note, we show that the satisfiability of equations and inequations
with recognisable constraints is decidable in groups that are virtually direct
products of finitely many hyperbolic groups.
