Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

tomte
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Incidents

Snippets Groups Projects

- Harco Kuppens
tomte

T

tomte

Project ID: 174

Project information

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

574 Commits
6 Branches
11 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

April 02, 2015

Select Git revision

0 results

tomte

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Copy SSH clone URLgit@gitlab.science.ru.nl:harcok/tomte.git
Copy HTTPS clone URLhttps://gitlab.science.ru.nl/harcok/tomte.git

Updated README for actual final release

nils authored 2 months ago

ce2c82d6

ce2c82d6 2 months ago

Name	Last commit	Last update