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 | |
traffic_lights.eprime | EssencePrime | |
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 |