About
Heavy MinOTaut - Heavy Minimization Of Tree Automata
Languages
Language:C++ 93.0%Language:Roff 5.3%Language:HTML 1.4%Language:C 0.2%Language:JavaScript 0.0%Language:CSS 0.0%Language:Shell 0.0%Language:CMake 0.0%Language:Python 0.0%Language:Makefile 0.0%Language:Awk 0.0%Language:Yacc 0.0%Language:Lex 0.0%