{"id":19277778,"url":"https://github.com/lip6/itstools","last_synced_at":"2025-04-22T00:31:17.952Z","repository":{"id":18226597,"uuid":"83841312","full_name":"lip6/ITSTools","owner":"lip6","description":"A multi-formalism, multi-solution model-checker centered on the language GAL","archived":false,"fork":false,"pushed_at":"2024-06-05T11:59:07.000Z","size":673681,"stargazers_count":22,"open_issues_count":9,"forks_count":10,"subscribers_count":6,"default_branch":"master","last_synced_at":"2024-06-05T13:31:58.190Z","etag":null,"topics":["ctl","eclipse","ltl","model-checking","model-driven-development","petri-net","safety"],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/lip6.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-03-03T21:06:32.000Z","updated_at":"2024-06-05T11:53:41.000Z","dependencies_parsed_at":"2023-10-20T21:17:37.260Z","dependency_job_id":"41677561-eec5-4b38-8af1-e5c0f3b3cc96","html_url":"https://github.com/lip6/ITSTools","commit_stats":null,"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lip6%2FITSTools","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lip6%2FITSTools/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lip6%2FITSTools/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lip6%2FITSTools/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lip6","download_url":"https://codeload.github.com/lip6/ITSTools/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":223881912,"owners_count":17219269,"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":["ctl","eclipse","ltl","model-checking","model-driven-development","petri-net","safety"],"created_at":"2024-11-09T21:06:52.842Z","updated_at":"2024-11-09T21:06:53.447Z","avatar_url":"https://github.com/lip6.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ITSTools\nA multi-formalism, multi-solution model-checker centered on the language GAL\n\nSee our main homepage for details : http://ddd.lip6.fr\n\nTo install this tool, within a recent eclipse, Help -\u003e Install New Software -\u003e Add this update site https://lip6.github.io/ITSTools/\n\nIf you would prefer a command line interaction, download the version for your platform (OSX, Win, Linux) from : https://lip6.github.io/ITSTools/\n\nYou might also be looking for the version of ITS-Tools packaged for the Model Checking Contest that is distributed from here https://github.com/yanntm/ITS-Tools-MCC\n\nITS-Tools is distributed under the terms of GPL v3.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flip6%2Fitstools","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flip6%2Fitstools","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flip6%2Fitstools/lists"}