bbodin/Scheduling-CP

Constraint programming model in Minizinc for SDF scheduling

Model Descriptions

Please refer to jupyter notebook file for desc and output explanation.

Additional Files

convert_minizinc: python script that converts output from symbolic execution to data file (data.dzn) to be used for minizinc. python3 convert_minizinc.py tdma.txt dataflow.xml