File Type Notes
traffic_lights.mod AMPL+CP
traffic_lights.lp4 ASP/Gringo 4
traffic_lights_bp.pl B-Prolog
traffic_lights.co Comet
traffic_lights.ecl ECLiPSe CLP
traffic_lights.eprime EssencePrime
traffic_lights.cpp Gecode
traffic_lights.mzn MiniZinc
traffic_lights_table.mzn MiniZinc
traffic_lights.cs or-tools/C#
traffic_lights.py or-tools/Python
TrafficLights.scala OscaR
traffic_lights.pi Picat
traffic_lights_sicstus.pl SICStus Prolog