SAL Home MATH Misc


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

Home Site:

Source Code Availability:

Yes (From Home Site)

Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: No

Targeted Platforms:

Linux/Intel, SPARC SunOS, SPARC Solaris

Software/Hardware Requirements:

Objective Caml 1.05, and daVinci 2.0.3.

Other Links:

Mailing Lists/USENET News Groups:

There are two mailing lists: (general, unmoderated) and (announcements, moderated). There are detailed instructions for subscribing the mailing lists on Home Site.

User Comments:

  • None

See A Screen Shot?

  SAL Home   |   Mathematics   |   Misc

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.