MCScheduling 1.0
Set of Algorithms for Solving Mixed-Criticality Scheduling
|
Contains the implementation of a mixed-criticality solver based on the branch and bound algorithm provided by Gurobi 4.5 library. More...
Classes | |
class | CMixedIntegerProgrammingSolver |
The mixed integer programming solver for the mixed-criticality scheduling. More... |
Contains the implementation of a mixed-criticality solver based on the branch and bound algorithm provided by Gurobi 4.5 library.
To make it work a valid licence needs to be acquired from http://www.gurobi.com/.