Possum is a mathematical tool for the representation and manipulation of finite partially ordered sets
(commonly called posets). It is particularly geared towards providing tools for domain theory and construction
of approximations to semantic domains, but will be of use to anyone with an interest in order theory.
Current Version: 1.0
License Type: GPL
Source Code Availability:
Yes (From Home Site)
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: No
Linux/Intel, SPARC SunOS, SPARC Solaris
Objective Caml 1.05, and
Mailing Lists/USENET News Groups:
There are two mailing lists: email@example.com (general, unmoderated) and firstname.lastname@example.org (announcements, moderated).
There are detailed instructions for subscribing the mailing lists on Home Site.
See A Screen Shot?
Copyright © 1995-2001 by
Copyright © 1997-2001 by
Kachina Technologies, Inc.
All rights reserved.