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 ~amd64-linux ~x86-linux ~ppc-macos

View

Download

Browse License: otter

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs