The OpenSMT Solver - Sciweavers