resolution-style theorem prover.

otter

Organized Techniques for Theorem-proving and Effective Research.
THE FOLLOWING FILE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
FILE:
DOWNLOADED FROM:
DOWNLOAD DATE:
19-12-2010
HOMEPAGE:
PROGRAMMING LANGUAGE:
C
STATUS:
deleted mace2/anldp.c and all binaries. Converted to .zip.