{"id":24884484,"url":"https://github.com/learnlib/raxml","last_synced_at":"2025-03-27T09:43:10.935Z","repository":{"id":68242395,"uuid":"24319848","full_name":"LearnLib/raxml","owner":"LearnLib","description":null,"archived":false,"fork":false,"pushed_at":"2015-04-29T15:03:50.000Z","size":532,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":9,"default_branch":"master","last_synced_at":"2025-02-01T14:34:11.185Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/LearnLib.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"license.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-09-22T08:07:09.000Z","updated_at":"2015-04-29T15:03:51.000Z","dependencies_parsed_at":"2023-02-27T09:31:00.958Z","dependency_job_id":null,"html_url":"https://github.com/LearnLib/raxml","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LearnLib%2Fraxml","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LearnLib%2Fraxml/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LearnLib%2Fraxml/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LearnLib%2Fraxml/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LearnLib","download_url":"https://codeload.github.com/LearnLib/raxml/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245821554,"owners_count":20678048,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-02-01T14:27:48.314Z","updated_at":"2025-03-27T09:43:10.908Z","avatar_url":"https://github.com/LearnLib.png","language":"Java","readme":"\nraxml: benchmarks for automata learning\n==============================================\n\nThis repository contains benchmarks for automata learning algorithms.\nThe benchmarks are register automaton models and come from a variety\nof sources and application domains. They range from explanatory\nexamples that have been  discussed in the literature, to manually\nwritten specifications of data structures,  to models that were\ninferred from actual systems (e.g., the Biometric Passport and the SIP\nprotocol). For further documentation on the benchmarks please checkout\nthe papers in the *./papers* folder.\n\nThe benchmarks distributed under the terms of the BSD license (see\nlicense.txt).\n\nThe Java parser for the benchmarks is distributed under LGPLv3 (see\nhttp://www.gnu.de/documents/lgpl.en.html).\n\nHow To Use\n==============================================\n\nThis repository contains a set of benchmark register automata in an xml format.\nThe corresponding schema is provided as well. A description of the intended\nsemantics of the automaton format will hopefully be added in the future.\nUntil then, the repository provides a Java implementation that can parse\nthe provided benchmarks and execute data words on these automata. \n\n* The *./benchmarks* folder contains benchmarks, scripts that create xml files\n  for data structures of varying size, and the xsd schema.\n* The folder *./rajava* contains a Java parser for the benchmarks.\n* The folder *./papers* contains additonal documentation.\n\n\nHow To Use\n==============================================\n\nThere is some documentation available at\nhttp://www.mbsd.cs.ru.nl/automata\nfor the different benchmarks.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flearnlib%2Fraxml","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flearnlib%2Fraxml","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flearnlib%2Fraxml/lists"}