News
Practical sheet 4
Written on 30.06.2022 09:51 by Daniel Fišer
Dear students,
there was a small mistake in the practical sheet 4 -- the predicate at is used for encoding a location of both robots and keys. The fixed version is uploaded to cms.
Best,
Dan