added new example for expeditions project
adding two customer.spec. going to change the region to the one built by Cam, Vasu and Spyros
change the spec for multiple orders and one customer now
created specification for two customer, two kinds of food and two kitchen
modified the spec with two customers and names it two_customer.spec
add configuration with Nao
changed naoSensor for the new format
added new example for expeditions project
adding two customer.spec. going to change the region to the one built by Cam, Vasu and Spyros
change the spec for multiple orders and one customer now
created specification for two customer, two kinds of food and two kitchen
modified the spec with two customers and names it two_customer.spec
add configuration with Nao
changed naoSensor for the new format
fixed order_c2 unsynthesizable
examples/expeditions_project/two_customer_video.spec
added LTLparser
added create as robot model
editing the env safety violation check for LTLMoP
parse the tree back to ltl formulas