Gentoo-Portage - sci-mathematics/otter

Login Register Language Tools

Newest News GLSAs Search Browse USE Flags More...

sci-mathematics/otter

An Automated Deduction System.

Screenshots

http://www-unix.mcs.anl.gov/AR/otter/

otter-3.3-r1

~amd64 ~ppc x86

View Download License: otter

Comments ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags