Gentoo Portage Overlays - sci-mathematics/otter

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

View

Download

Browse License: otter

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

otter-3.3-r4

x11-libs/libX11
x11-libs/libXaw
x11-libs/libXt