Terraforming Mars: Automa Terraforming Mars: Automa provides a new solo experience when playing Terraforming Mars. Instead of racing against the clock, the Automa lets you compete against corporations run by algorithms and special cards, and makes it possible for you to add any expansions to create the challenge you are looking for.