Schedulability Schedulability is a use-case example of Map Family Decision Diagrams for offline task scheduling on multi-core architectures. Usage schedulability compute --core-count 8 model.json