The Parma Polyhedra Library 0.12.1发布 系统分析和验证工具

The Parma Polyhedra Library（简称PPL）是一款提供了复杂系统的分析和验证领域的应用，尤其是有针对性的数值抽象。它采用C++++编写，特点是具有友好用户界面、完全动态、安全、高效。

The Parma Polyhedra Library ">0.12.1该版本进行了便携性的改进，几个新的次要功能，一些界面的变化，一个重要的错误修正。

软件信息：The Parma Polyhedra Library 0.12.1

下载地址：

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

时间： 2024-09-30 01:26:16

The Parma Polyhedra Library 0.12.1发布 系统分析和验证工具的相关文章

The Parma Polyhedra Library 0.12发布 复杂系统分析和验证工具

The Parma Polyhedra Library(简称PPL)提供了在复杂系统的分析和验证领域的应用,尤其是有针对性的数值抽象.它是采用C++++编写,特点是具有友好用户界面.完全动态.安全.高效. The Parma Polyhedra Library http://www.aliyun.com/zixun/aggregation/37104.html">0.12该版本包含了可移植性改善,一些错误修正,性能改进的MIP和PIP求解.可配置也得到了提高,尤其是尽可能的GMP检测.EC

Window Switch 0.12.4发布 移动应用程序工具

Window Switch 是一种能够在联网的计算机之间http://www.aliyun.com/zixun/aggregation/14219.html">移动应用程序的工具.移动窗口可以随意设定,您不再需要保存和发送文档来移动它们,只需简单的移动所需要的应用程序即可.你可以直接在本机上打开某个应用程序,并将桌面发送给网络中的其他计算机,同样显示该界面. 官网演示视频:http://winswitch.org/video/ Window Switch 0.12.4 此版本修复和优化了一

Serene 0.6.1发布 源码验证工具

Serene 是一款创建开放源码的验证工具,能够在JAXP 1.3的验证框架API集中RELAX NG 演算法提供好的信息,并且对有歧义和冲突的处理明确执行. Serene 0.6.1该版本已广泛的审查和重构,以提高性能.修复了一些错误,消息已轻微改动,已新增一个功能. 软件信息:http://code.google.com/p/serene/ 下载地址:http://code.google.com/p/serene/downloads/detail?name=serene.0.6.1.zip&

Gnome Partition Editor 0.12.1发布 磁盘分区编辑器

Gnome Partition Editor 是一个免费的图形化管理磁盘分区的编辑器.它支持磁盘空间的创建.调整大小.移动.复制和分割分区.硬盘驱动器或USB闪存驱动器可以被分成一个或多个分区,gparted能够重组你的磁盘分区,同时保留这些分区的内容. Gnome Partition Editor http://www.aliyun.com/zixun/aggregation/37104.html">0.12.1该版本允许gparted使用新的文件系统大小库(FAT16/32和HFS/+

Gnome Partition Editor 0.12.0-5发布 磁盘分区编辑器

Gnome Partition Editor 是一个免费的图形化管理磁盘分区的编辑器.它支持磁盘空间的创建.调整大小.移动.复制和分割分区.硬盘驱动器或USB闪存驱动器可以被分成一个或多个分区,gparted能够重组你的磁盘分区,同时保留这些分区的内容. Gnome Partition Editor http://www.aliyun.com/zixun/aggregation/37104.html">0.12.0-5该版本增加了smartmontools.cifs-utils 和 tre

Window Switch 0.12.14发布 应用程序移动工具

Window Switch 是一款能够在联网的计算机之间http://www.aliyun.com/zixun/aggregation/14219.html">移动应用程序的工具.移动窗口可以随意设定,您不再需要保存和发送文档来移动它们,只需简单的移动所需要的应用程序即可.你可以直接在本机上打开某个应用程序,并将桌面发送给网络中的其他计算机,同样显示该界面. Window Switch 0.12.14该版本包含了轻微错误修正,特别是针对失踪xpra OS X上的关键winswitch,将自

(R)?ex 0.12.1发布 服务器管理工具

(R)?ex http://www.aliyun.com/zixun/aggregation/37104.html">0.12.1此版本解决了特殊字符模板模块中的一个错误. (R)?ex是一种能够让你管理从一个中心点到所有服务器的工具,它的工作原理是通过完整的配置管理和软件部署的运作过程. CentOS 6 rpm --import http://rex.linux-files.org/ RPM-GPG-KEY-REXIFY-REPO.CENTOS6cat >/etc/yum.rep

GNU Generic Security Service Library 0.1.5发布 通用安全服务

GNU Generic http://www.aliyun.com/zixun/aggregation/16952.html">Security Service(GSS)是一种通用安全服务API(GSSAPI)的实施.它利用网络应用,提供安全服务,如通过GSSAPI SASL机制进行验证SMTP/IMAP.它由一个库.手册和一个Kerberos 5机制组成,支持相互身份验证,DES和3DES密码. GNU Generic Security Service Library 0.1.5该版本进

Audio File Library 0.3.1发布 音频文件API

Audio http://www.aliyun.com/zixun/aggregation/19352.html">File Library 0.3.1此版本修复安装手册页.增加了Creative Voice File格式的支持.支持U-law和A-law核心音频格式文件的压缩. Audio File Library提供了一个阅读和写入音频文件的API,支持多种常见的格式,包括AIFF,WAVE和NeXT/Sun .snd/.au. 支持的文件格式: AIFF/AIFF-C WAVE Ne