Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / egk696 / SimpleSMTScheduler
A simple SMT-based schedule generator for cyclic executives of real-time tasks
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/egk696%2FSimpleSMTScheduler
Stars: 9
Forks: 1
Open Issues: 0
License: lgpl-3.0
Language: Python
Repo Size: 3.11 MB
Dependencies:
3
Created: over 4 years ago
Updated: 7 months ago
Last pushed: 7 months ago
Last synced: 7 months ago
Topics: real-time-systems, schedule-generator, scheduler, smt
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- matplotlib ==3.3.4
- numpy ==1.20.1
- z3-solver ==4.8.10.0