This directory contains some general information on automated
deduction and files that might be useful when porting Otter to other
systems.

    README.ATP    -- general info on automated deduction

    makefile.unx  -- Otter makefile for UNIX
    makefile.tbo  -- Otter makefile for Turbo C
    objs.rsp      -- referenced in makefile.tbo
    libs.rsp      -- referenced in makefile.tbo
    to_unix       -- translate DOS files to UNIX
    to_dos        -- translate UNIX files to DOS
    run_all       -- UNIX script to run all test problems
    run           -- referenced in run_all
    run_all.bat   -- PC script to run most test problems
    run_32.bat    -- PC script to run all test problems

The following two binary files are included only in the UNIX version.
If you can get one of them to your Macintosh or your PC, it should work.

    Otter.Mac     -- Otter, ready-to-run on a Macintosh. (Copying this
                     file may have damaged some of the header information.
                     If so, perhaps a Macintosh expert can fix it.)
    otter.exe     -- Otter, ready-to-run on a PC.
    otter_32.exe  -- Otter, ready-to-run for a 386 or 486 PC.



