TAMAA: timed automata based mission planner for multiple autonomous agents - Version20210917

download UPPAAL from: https://uppaal.org/, and put the binaries in bin-Linux into sh/uppaal.
run "chmod +x prepare.sh"
run "./prepare.sh"
run "./server"
input "quit" if one wants to exit the program