Tool for reducing Meka to a minimal subset of classes.
Primary LanguageJava
No issues in this repository yet.