CREATE TABLE table_19495707_1 (platforms VARCHAR(255), application VARCHAR(255))
Name the platforms for cityengine
    
SQL: SELECT platforms FROM table_19495707_1 WHERE application = "CityEngine"