The srcThe internals/algorithms of the Planner Validator.
...
Because most (if not all) majors at UTD share the same core curriculum,
core validation tends to be quite stable, occuring on the same
set of requirements for each validation request. Unlike the core curriculum, most majors have their own unique twist
on their degree plans. Consequently, validation of major requirements
tends to be a minefield of edge cases.
Validation was originally written with core and major combined (only supporting Bio and CS degrees), but it was quickly disrcovered that many of the unique twists
in major requirements were unable to be modeled with the max-flow problem - and if
they were, it introduced too many complications.
As a result, validation was split into core and major; core validation still using
max-flow and major using a greedy algorithm. Because many majors include a free elective requirement (which is basically a catch-all), major validation relies on the output of core validation.
...
What max-flow looks for the "hour splitting" validation case: <br />
<img src="validator-maxflow.png" width="500" />
...
Major
A few notable aspects of major degree plans:
...