Some solvers were using escape sequences of the form \x??
in the past
where each ?
would stand for a hexadecimal digit. This commit updates
these escape sequences to match the new strings standard. I have used
CVC4 commit 82f5610a
to check the syntax.