Linux-specific change
Added method that selectively colors the case 1 DAGs. Case 1 output works. Enabled expansion of solver status, output, and solution.