Added != inequality between nodes
Substituted exact_time with arc removal since all switches and xovers have riding time = 1
Added solution report
Corrected rhs in sa_delay