Travelling everywhere without Visa: the set cover problem with Google OR-Tools and Microsoft Z3 31 Aug 2019