Home My Page Projects TPLib
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

TPLib: Project Home - forge_get_config('forge_name')

Project description

TPLib is a library manipulating tropical polyhedra. It allows to compute the vertices of tropical polyhedra given by half-spaces, and conversely. It also provides an abstract domain based on tropical polyhedra, inferring min-/max-invariants over programs.

Project Info

This project has not yet categorized itself in the Trove Software Map

Registered: 2011-04-04 14:46
Activity Ranking: 745
View project Statistics or Activity
View list of RSS feeds available for this project. 

Latest File Releases
Package Version Date Notes Monitor Download
tplib 1.3 February 14, 2013 tplib - Release Notes tplib - Monitor this package tplib 1.3 - Download
Public Areas
Tracker Tracker
 Public Forums (2 messages in 2 forums)
 Mailing Lists (0 public mailing lists)
 SCM Repository (Git: 346 commits, 48 adds)
Latest News
No News Items Found