Learning to Solve SMT Formulas Fast - View it on GitHub