Published January 30, 2021
| Version 0.3.0
Software
Open
ProcessScheduler
Creators
Description
A python library to compute resource-constrained task schedules. The computation is based on a set of constraints expressed under the form of first-order logic assertions. Problem solving is performed by the SMT [Z3Prover](https://github.com/Z3Prover/z3).
Files
Files
(169.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:af6ee7d189f6657e036d070450ccf196
|
169.7 kB | Download |