{"id":23498122,"url":"https://github.com/tulip-control/tulip-control","last_synced_at":"2025-04-12T14:57:04.088Z","repository":{"id":11513278,"uuid":"13993728","full_name":"tulip-control/tulip-control","owner":"tulip-control","description":"Temporal Logic Planning toolbox","archived":false,"fork":false,"pushed_at":"2024-11-30T21:43:31.000Z","size":9983,"stargazers_count":117,"open_issues_count":66,"forks_count":35,"subscribers_count":15,"default_branch":"main","last_synced_at":"2025-04-03T14:12:44.680Z","etag":null,"topics":["abstraction","automata","control-systems","feedback-systems","hybrid-systems","python","specification","state-machine","synthesis","temporal-logic","verification"],"latest_commit_sha":null,"homepage":"http://tulip-control.org","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tulip-control.png","metadata":{"files":{"readme":"README.rst","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null}},"created_at":"2013-10-30T17:15:55.000Z","updated_at":"2025-01-24T20:16:47.000Z","dependencies_parsed_at":"2023-02-10T11:32:42.281Z","dependency_job_id":"da9d2803-b365-4d9d-880c-e72f72079093","html_url":"https://github.com/tulip-control/tulip-control","commit_stats":{"total_commits":3203,"total_committers":30,"mean_commits":"106.76666666666667","dds":"0.39306899781454885","last_synced_commit":"83f993c2ae06aa8368e4bbba02bf52d68725e106"},"previous_names":[],"tags_count":14,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tulip-control%2Ftulip-control","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tulip-control%2Ftulip-control/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tulip-control%2Ftulip-control/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tulip-control%2Ftulip-control/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tulip-control","download_url":"https://codeload.github.com/tulip-control/tulip-control/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248586248,"owners_count":21128997,"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":["abstraction","automata","control-systems","feedback-systems","hybrid-systems","python","specification","state-machine","synthesis","temporal-logic","verification"],"created_at":"2024-12-25T05:19:15.524Z","updated_at":"2025-04-12T14:57:04.052Z","avatar_url":"https://github.com/tulip-control.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"TuLiP\n=====\nThis is the source repository for TuLiP, the temporal logic planning toolbox.\nThe project website is http://tulip-control.org\n\nInstallation\n------------\n\nIn most cases, it suffices to::\n\n  pip install .\n\nTuLiP can be installed also `from PyPI \u003chttps://pypi.python.org/pypi/tulip\u003e`_::\n\n  pip install tulip\n\nThis will install the latest release, together with required dependencies.\nTo find out what dependencies (including optional ones) are installed, call::\n\n  tulip.interfaces.print_env()\n\nFor detailed instructions, including notes about dependencies and troubleshooting,\nconsult https://tulip-control.sourceforge.io/doc/install.html\nThe next section describes how to build documentation.\nA test suite is provided under ``tests/``.  Consult the section \"Testing\" below.\n\nPip can install the latest *development* snapshot too::\n\n  pip install https://github.com/tulip-control/tulip-control/archive/master.zip\n\nCode under development can be unstable so trying `pip install tulip` first\nis recommended.\n\n\nDocumentation\n-------------\n\nThere are two main sources of documentation outside the code.  The \"user\"\ndocumentation is under ``doc/`` and is built with `Sphinx\n\u003chttps://www.sphinx-doc.org/\u003e`_, so the usual steps apply, ::\n\n  make html\n\nAPI documentation is generated using `Epydoc \u003chttp://epydoc.sourceforge.net/\u003e`_\nand can also be built from the ``doc`` directory, now by ::\n\n  make api\n\nBuilt copies for the most recent release of TuLiP are available online at:\n\n* https://tulip-control.sourceforge.io/doc/\n* https://tulip-control.sourceforge.io/api-doc/\n\nCommand summaries are provided by ``make help``.  Besides the above sources, you\nmay also read API documentation using the standard pydoc tool.  E.g., ::\n\n  pydoc tulip\n\n\nTesting\n-------\n\nTests are performed using `pytest \u003chttps://pytest.org\u003e`_.  From the\nroot of the source tree (i.e., where ``setup.py`` is located), ::\n\n  ./run_tests.py\n\nto perform basic tests.  To try all available tests, ``./run_tests.py full``.\nFor alternatives and a summary of usage, ``./run_tests.py -h``\n\n\nContact and support\n-------------------\n\n* Ask for help on the `tulip-control-users mailing list \u003chttps://sourceforge.net/p/tulip-control/mailman/tulip-control-users\u003e`_\n* For release announcements, join the `tulip-control-announce mailing list \u003chttps://sourceforge.net/p/tulip-control/mailman/tulip-control-announce\u003e`_\n* Bug reports and feature requests should be made at https://github.com/tulip-control/tulip-control/issues\n  Please check for prior discussion and reports before opening a new issue.\n\n\nLicense\n-------\n\nThis is free software released under the terms of `the BSD 3-Clause License\n\u003chttps://opensource.org/licenses/BSD-3-Clause\u003e`_.  There is no warranty; not even\nfor merchantability or fitness for a particular purpose.  Consult LICENSE for\ncopying conditions.\n\nWhen code is modified or re-distributed, the LICENSE file should accompany the code or any subset of it, however small.\nAs an alternative, the LICENSE text can be copied within files, if so desired.\n\nIf this software is useful to you, we kindly ask that you cite us::\n\n  I. Filippidis, S. Dathathri, S. C. Livingston, N. Ozay and R. M. Murray,\n  \"Control design for hybrid systems with TuLiP: The Temporal Logic Planning\n  toolbox,\" 2016 IEEE Conference on Control Applications (CCA), Buenos Aires,\n  Argentina, 2016, pp. 1030-1041, doi: 10.1109/CCA.2016.7587949.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftulip-control%2Ftulip-control","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftulip-control%2Ftulip-control","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftulip-control%2Ftulip-control/lists"}