Welcome to LATAID : a package for analysing posets. project!

The software is intended for analysing arbitrary posets and lattices, especially those made up for examples in research in logic and mathematics. It will be possible to check user defined conditions (first order) on the defined posets too.

Latest News
No News Items Found

Project Summary
Tracker Tracker

 - Bugs ( 0 open / 0total )
Bug Tracking System

 - Support Requests ( 0 open / 0total )
Tech Support Tracking System

 - Patches ( 0 open / 0total )
Patch Tracking System

 - Feature Requests ( 0 open / 0total )
Feature Request Tracking System

Forums Forums ( 2 messages in 2 forums )
Docs Doc Manager
Mail Lists Mailing Lists ( 1 public lists )
Tasks Task Manager
There are no public subprojects available
Surveys Surveys ( 0 surveys )
SCM SCM Tree ( 0 commits, 0 adds )
FTP Released Files

 

 

Powered By GForge Collaborative Development Environment