Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / tulip-control / omega

Specify and synthesize systems using symbolic algorithms

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tulip-control%2Fomega

Stars: 45
Forks: 5
Open Issues: 5

License: other
Language: Python
Repo Size: 894 KB
Dependencies: 8

Created: about 9 years ago
Updated: 4 months ago
Last pushed: 4 months ago
Last synced: about 1 month ago

Topics: automata, bitvector, logic-minimization, python, rabin, streett, symbolic, synthesis, temporal-logic

Files
    Loading...
    Readme
    Loading...
    Dependencies
    requirements.txt pypi
    setup.py pypi