Z3, Cvc4 and Mathsat all seem to be working ok in linux and windows