JCEPIT

Java Checker for Emptiness Problem on Infinite Trees

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
src		src
.gitignore		.gitignore
BuchiExampleAutomata.png		BuchiExampleAutomata.png
BuchiExampleAutomata.txt		BuchiExampleAutomata.txt
README.md		README.md
RabinExampleAutomata.png		RabinExampleAutomata.png
RabinExampleAutomata.txt		RabinExampleAutomata.txt

Provide feedback