Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.642.859 Times

The Parma Polyhedra Library 0.9

  Date Added: September 20, 2010  |  Visits: 692

The Parma Polyhedra Library

Report Broken Link
Printer Friendly Version


Product Homepage
Download (82 downloads)



The Parma Polyhedra Library is a modern C++ library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. The PPL can handle all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described by an equality or inequality (strict or non-strict) with rational coefficients. The PPL also handles restricted classes of polyhedra that offer interesting complexity/precision tradeoffs. The library also supports finite powersets of (any kind of) polyhedra and linear programming problems solved with an exact-arithmetic version of the simplex algorithm. (More details are available on the PPLs internal mechanisms.) The Parma Polyhedra Library is: user friendly (you write x + 2*y + 5*z <= 7 when you mean it); fully dynamic (available virtual memory is the only limitation to the dimension of anything); portable (written in standard C++ and following all other available standards); exception-safe (never leaks resources or leaves invalid object fragments around); efficient (and we hope to make it even more so); thoroughly documented (perhaps not literate programming but close enough). Whats New in This Release: - The key new feature of this release is complete support for rational grids (i.e. solutions of finite systems of congruence relations such as x + y - 2*z = 3 (mod 6)). - The implementation offered in PPL 0.9 is, as far as the authors know, the first published one that is functionally complete (i.e. providing all the required operations, including a provably correct widening) for the purposes of program analysis and verification. - This release includes many portability improvements and a couple of bugfixes..

Requirements: No special requirements
Platforms: Linux
Keyword: C Library C++ Libraries Library Modern Parma Parma Polyhedra Library Polyhedra Programming Providing
Users rating: 0/10

License: Freeware Size: 4.2 MB
USER REVIEWS
More Reviews or Write Review


THE PARMA POLYHEDRA LIBRARY RELATED
Code Management Tools  -  C to C++ 1.4.0
C to C++ is a Python script that converts C code to C++ code. The main program is ctocpp.py that performs successive stages for converting C to C++. A script, ctocpp gives it as parameter to the python interpreter with options you add. The...
102.4 KB  
Libraries  -  INVSTR 1.0
INVSTR is a library of C functions that follow the behavior of the standard library string functions, but starting all searches and the like from the end of the string rather than the start. Whats New in This Release: This initial release...
10.24 KB  
Libraries  -  Erwin Data Structures 2.1.58633
Erwin Data Structures is a library that is meant to be the ultimate data structure library for mixed usage of C and C++. Arbitrary key and value types are implemented by template files that dont use C++ templates, but are instantiated by a Perl...
686.08 KB  
Scientific and Engineering  -  Fast Artificial Neural Network Library 2.b 1.0
Fast Artificial Neural Network Library is a free open source neural network library, which implements multilayer artificial neural networks in C with support for both fully connected and sparsely connected networks. Cross-platform execution in...
 
Scientific and Engineering  -  Fast Artificial Neural Network Library 2.b 1.0
Fast Artificial Neural Network Library is a free open source neural network library, which implements multilayer artificial neural networks in C with support for both fully connected and sparsely connected networks. Cross-platform execution in...
 
Libraries  -  dtRdr::Plugins::Library 0.0.11
dtRdr::Plugins::Library is a Perl module that can handle library plugins. SYNOPSIS init dtRdr::Plugins::Library->init(config => $config);.
2.8 MB  
Libraries  -  Digital Mars C and C++ Compiler 8.5+
Digital Mars C/C++ Compiler contains - Win32 console versions of the tools; C and C++ compilers; Optlink Linker; Librarian. Standard and Win32 header files; Runtime linkable libraries; Does not come with a debugger, but works with the Symantec or...
2.87 MB  
Libraries  -  C to C++ Converter 1.4
C to C++ Converter is a script that translates C to C++ in several steps. 1) generating classes, 2) converting functions to methods, 3) replacing calls to functions by references to methods. The main script calls other specialized ones but you can...
150 KB  
Music  -  RADIO C.R.C. Targato Italia 3.0
On line from Neaples the radio all over the world! Radio C.R.C. Targato Italia, Neaples in your pocket: tune it! Requirements: iOS 7.0 or later. Compatible with iPhone, iPad, and iPod touch. This app is optimized for iPhone 5.
1.9 MB  
Libraries  -  Suffix tree implementation library 1.2
Suffix tree implementation library is a C library, an implementation of the suffix trees algorithm to store/retrieve key/data pairs. The main advantages are a linear indexing time, little memory usage, and very fast retrieving. It has been...
15.36 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Libraries  -  wolfSSL 3.11.0
The wolfSSL embedded SSL/TLS library is a lightweight SSL library written in ANSI standard C and targeted for embedded and RTOS environments - primarily because of its small size, speed, and feature set. It is commonly used in standard operating...
2.73 MB  
Libraries  -  EuGTK 4.8.9
Makes it easy to develop good- looking, fast, cross-platform programs that run on Linux, OS X, and Windows. Euphoria is a very fast interpreted/compiled language with straight-forward syntax. EuGTK allows programming in a clean, object-oriented...
10.68 MB  
Libraries  -  Linux User Group Library Manager 1.0
The LUG Library Manager is a project to help Linux User Groups start their own library. A LUG library is helpful to the community at large because it increases access to information, and gives everyone the opportunity to become more knowledgeable.
5.35 KB  
Libraries  -  Module::MakefilePL::Parse 0.12
Module::MakefilePL::Parse is a Perl module to parse required modules from Makefile.PL. SYNOPSIS use Module::MakefilePL::Parse; open $fh, Makefile.PL; $parser = Module::MakefilePL::Parse->new( join("", ) ); $info = $parser->required;...
8.19 KB  
Libraries  -  sqlpp 0.06
sqlpp Perl package is a SQL preprocessor. sqlpp is a conventional cpp-alike preprocessor taught to understand SQL ( PgSQL, in particular) syntax specificities. In addition to the standard #define/#ifdef/#else/#endif cohort, provides also...
10.24 KB