Home > Website Builders > Cloud Servers

The Parma polyhedra Library 0.12.1 Publishing System analysis and Verification tool

Source: Internet
Author: User
Keywords The system analysis Library Verification tool Parma polyhedra numerical abstraction
Tags aliyun an application analysis application download ftp high html
Developer on Alibaba Coud: Build your first app with APIs, SDKs, and tutorials on the Alibaba Cloud. Read more ＞

The Parma polyhedra Library (PPL) is an application that provides an area of analysis and validation for complex systems, especially targeted numerical abstractions. It uses the c++++ to write, the characteristic is has the friendly user interface, completely dynamic, safe, high efficiency.

The Parma polyhedra Library http://www.aliyun.com/zixun/aggregation/37104.html ">0.12.1 the version for portability improvements, several new minor features, Some interface changes, an important bug fix.

Software information: The Parma polyhedra Library 0.12.1

Download Address:

Http://bugseng.com/products/ppl/download/ftp/releases/0.12.1/ppl-0.12.zip

http://bugseng.com/products/ppl/download/ftp/releases/0.12.1/ppl-0.12.1.tar.bz2

Http://bugseng.com/products/ppl/download/ftp/releases/0.12.1/ppl-0.12.1.tar.gz

This article is an English version of an article which is originally in the Chinese language on aliyun.com and is provided for information purposes only. This website makes no representation or warranty of any kind, either expressed or implied, as to the accuracy, completeness ownership or reliability of the article or any translations thereof. If you have any concerns or complaints relating to the article, please send an email, providing a detailed description of the concern or complaint, to info-contact@alibabacloud.com. A staff member will contact you within 5 working days. Once verified, infringing content will be removed immediately.

Related Keywords:
md5 code verification tool javascript data analysis library python text analysis library php data analysis library java technical analysis library dump data analysis tool sql code analysis tool
Related Article
Some suggestions for improving SQL execution efficiency
A collection of sophisticated SQL statement techniques
3 Steps to address SQL injection pitfalls
SQL Optimization Experience Summary 34
Search results sorted by matching fields

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

Hot Article
Hot Tags
computing conference access forum computer class data get http html applications
Popular Keywords
node js build network management system tutorial network configure network ipv6 need to connect to internet no machine download network with new users network dns name of 7 days

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

Get Started for Free

  • Sales Support

    1 on 1 presale consultation

    Chat Contact Sales

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

    Open a Ticket

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.

    Learn More