http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Name
Last commit
Last update
.settings Loading commit data...
bin Loading commit data...
config Loading commit data...
doc Loading commit data...
lib Loading commit data...
models Loading commit data...
share Loading commit data...
src Loading commit data...
test Loading commit data...
.classpath Loading commit data...
.gitignore Loading commit data...
.project Loading commit data...
.pydevproject Loading commit data...
LICENSE Loading commit data...
README.MD Loading commit data...
build.xml Loading commit data...
make_distro.py Loading commit data...
release-version.txt Loading commit data...