GitHub - OitoH/CTL-Model-Checking-Tool

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
gradle/wrapper		gradle/wrapper
src/main		src/main
testes		testes
.gitignore		.gitignore
README		README
build.gradle		build.gradle
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle

Repository files navigation

# Instruções para compilação
1. Instale o programa gradle (Ubuntu: sudo apt-get install gradle)
2. Acesse o diretório contendo o arquivo build.gradle no terminal e execute:
$ gradle classes

# Instrução de execução
Acesse o diretório contendo o arquivo build.gradle no terminal e execute:
$ gradle run