1. CSPLib
  2. Problems
  3. prob016
  4. Models

016: Traffic Lights

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_table.ecl ECLiPSe
traffic_lights_backtrack.ecl ECLiPSe
TrafficLights.essence Essence
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
TrafficLights.py PyCSP3
traffic_lights_sicstus.pl SICStus Prolog