Home > Science > Mathematics > Software
Otter: An Automated Deduction System Updated August 13, 2001. Contents Description Computational Environment AvailabilityVersion 3.2 Documentation Example Inputs Recent Accomplishments Performance on the TPTP Problems Bugs and Fixes Otter-users Mailing List Copyrights and License Related Pages Try Otter right now with Son of BirdBrain A sample Otter proof New Results obtained with Otter and ...
www-unix.mcs.anl.gov/AR/otter/
Post a Review
Do you have experience with or are you familiar with this website? Please post your comments / review below to share with the rest of the community.
Do you have experience with or are you familiar with this website? Please post your comments / review below to share with the rest of the community.
Please note, all comments are subject to review and can be removed at any time for any reason.
Disclaimer: Galaxy is not affiliated in any way with the Otter: An Automated Deduction System (www-unix.mcs.anl.gov/AR/otter/) website.
Views and opinions expressed may not be representative of Galaxy or its owners but all effort is made to keep the site free of obscenities, illegal or otherwise malicious activity.
Are you the owner of this site? You can manage your listing here.