CVC4 String Solver