Gentoo-Portage - sci-mathematics/otter

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

Bugs

Bug #	Severity	Platform	Status	Description
102630	enhancement	Linux	NEW	Ebuild request: Ptplot 5.6 - Java Plotter

These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title, to do a more through search please visit: http://bugs.gentoo.org.