Домашние задания по проверке моделей

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
counter.smv		counter.smv
crossroad.md		crossroad.md
crossroad.smv		crossroad.smv
cruise.md		cruise.md
cruise.py		cruise.py
cruise.smv		cruise.smv
cruise.smvc		cruise.smvc
philosophers.smv		philosophers.smv

Provide feedback