/JCEPIT

Java Checker for Emptiness Problem on Infinite Trees

Primary LanguageJava

JCEPIT

Java Checker for Emptiness Problem on Infinite Trees