--------------------------
Channel Routing in CLP(FD)
--------------------------
The directory "clpfd" contains the following three files:

        route.pl	-- the program
        deutsch72.pl    -- data 1
	deutsch218.pl   -- data 2
	outjava.pl      -- display the result by using Java
	Guide.java      -- a simple interpreter that draws graphical objects
	Board.java      -- draw a N*N board for N-Queens
	Channel.java    -- draw a channel for route.pl
	*.class         -- Java objects

The program "route.pl" is written for runing on B-Prolog which is 
available from 

	http://www.cad.mse.kyutech.ac.jp/people/zhou/bprolog.html

but the program can be easily modified for runing on SICStus and 
Eclipse. 

To use the channel router to solve other problems, one must build another 
file that contains the problem-dependent information. "deutsch72.pl" 
and "deutsch218.pl" are two examples for solving the famous Deutsch's 
difficult problem.

The files need to be compiled as follows for execution.

	?-compile(route).
	?-compile(deutsch72).
	?-compile(deutsch218).
	?-compile(outjava).

To solve the deutsch72 problem, load the program as follows:

	?-load(deutsch72).

The main program "route.out" will be loaded automatically.
To run the program, type one of the following queries.

	?-go1.
	?-go2.
	?-go3.
	?-go4.

The query "gon" solves the problem for a nHV channel. The results
will be displayed on a separate window. Make sure that the command
"jview" executes Java applications that handle AWT libraries.


