SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving