Added SAT generator and simple sat_solve command