Patagonics - A SMT Project for 2018