CIRL Software
If you are not familiar with how to download software, you can get a
little bit of help.
Aircraft Routing Problem
If you have Windows 95/98/NT you can download WARP, a demo on optimal world-wide aircraft routing.
Satisfiability Solver
The source code for tableau is
available for research purposes only as a tar archive.
The binaries for a few solvers can be downloaded. These are compiled for
SunOS 4.1.3.
Inference Engine
MVL, Ginsberg's inference
engine, can be downloaded.