The Reaching Algorithm in AMPL

The following is an example of how to use the run file reaching.txt to run the reaching
algorithm on a network represented in the format described by the AMPL model
file mcnfp_model.txt.

This example uses the Unix operating system and the commands that the user types are in bold, italic type.
The data file for this example is dag.txt.

% ampl < reaching.txt

order [*] :=
1  1
2  2
3  3
4  4
5  5
6  6
;

d [*] :=
1  0
2  5
3  3
4  5
5  7
6  8
;

pred [*] :=
2  1
3  2
4  3
5  4
6  5
;