Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/otter
An Automated Deduction System
Screenshots
http://www.cs.unm.edu/~mccune/otter/
otter-3.3-r4
amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos
View
Download
Browse
License: otter
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags