VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

added other LEDs on nao as actuators in naoActuaor.py #60

Closed wongkaiweng closed 10 years ago

wongkaiweng commented 10 years ago
cfinucane commented 10 years ago

(I made the change and merged. Thanks.)