| 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 | Essence' | |
| traffic_lights.cpp | Gecode | |
| traffic_lights_table.mzn | MiniZinc | |
| traffic_lights.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 |