barvinok 0.34发布 用于计数的polylib库

barvinok是一个用于计数的polylib库基于参数和非参数的多面体。对于一个参数多面体，点的数量是代表一个分段多项式或Ehrhart系列。

barvinok 0.34该版本更新：

- 添加cloog子模块
- 改变（从GPLv2许可）许可，以GPLv2许可+

下载地址：

http://www.kotnet.org/~skimo/barvinok/barvinok-0.34.tar.bz2

http://www.kotnet.org/~skimo/barvinok/barvinok-0.34.tar.gz

http://www.kotnet.org/~skimo/barvinok/barvinok-0.34.tar.lzma

时间： 2024-11-13 07:54:43

barvinok 0.34发布 用于计数的polylib库的相关文章

ProcessMaker 2.0.34发布 企业流程管理软件

ProcessMaker是一款http://www.aliyun.com/zixun/aggregation/9807.html">工作流程和企业流程管理软件,运行于客户/服务端的商业进程(BPM).其功能是自动化文档加强器,跨系统的批准进程,包括财务.人力资源和操作部门.是一个完全基于Web和Ajax的应用程序,内置的开源WAMP/LAMP堆栈,包括设计表格工具,创建文件,分配角色和用户,创建路由规则,以及发送警报.它是一个全方位服务的架构(SOA)和Web服务界面,允许软件与商业智能直

tovid 0.34发布　GPL视频光盘制作工具

tovid是一个Linux GPL视频光盘制作工具,可以用来创建DVD,VCD,SVCD,KVCD/ KDVD格式(PAL或NTSC)的视频光盘软件. tovid支持多种输入http://www.aliyun.com/zixun/aggregation/18234.html">视频格式,并能编码为几个不同的输出分辨率.光盘可撰写分层菜单导航和回放. tovid 0.34版本更新日志: -This release features a new GUI for making multiple

Rudiments 0.34发布 C++类库

Rudiments一个C++++类库,提供基类的应用,如守护进程,客户端和服务器,以及标准C正则表达式,信号和信号处理功能. Rudiments 0.34版本的mingw32和Minix的兼容性从本质上已经大大提高,信号相关的类重构位,562.html">几种常见的POSIX功能已被封装在这个过程中. 下载地址:http://sourceforge.net/projects/rudiments/files/rudiments/0.34/rudiments-0.34.tar.gz/downl

ADP 0.72发布 用于Web数据库编程设计

ADP是一种编程语言,用于Web数据库编程设计.它是一种脚本语言和轻量级的编程语言,它可以混合使用SQL轻松.这是很容易安装. ADP 0.72主要是修正了一些已知的错误. 作业系统: http://www.aliyun.com/zixun/aggregation/11691.html">MacOSX, Linux, Windows 下载地址: http://sourceforge.jp/projects/adp/downloads/52397/adp_src_072.tar.gz/htt

py5mon 0.10发布 用于解码CCIR

py5mon是一个脚本,用于解码CCIR(selcall, 5-tone).目前仅限于WAV文件输入支持. py5mon 0.10此版本实现从line-in/microphone的输入,再加上一些有用的"功能"/在逻辑上的变化:#820916(麦克风/线路输入).支持解码2和3两者之间行列不暂停已被添加. 下载地址:http://launchpad.net/py5mon/trunk/0.10/+download/py5mon-0.10.tar.bz2

Ext JS v4.0.1发布 用于创建前端用户界面

ExtJS是一种主要用于创建前端用户界面,是一个与后台技术无关的前端ajax框架.功能丰富,无人能出其右.无论是界面之美,还是功能之强,ext的表格控件都高居榜首.单选行,多选行,高亮显示选中的行,推拽改变列宽度,按列排序,这些基本功能咱们就不提了. 自动生成行号,支持checkbox全选,动态选择显示哪些列,支持本地以及远程分页,可以对单元格按照自己的想法进行渲染,这些也算可以想到的功能.再加上可编辑grid,添加新行,删除一或多行,提示多行数据,推拽改变grid大小,grid之间拖拽一或多行

Exiv2 0.22发布 图像元数据管理的C++库

Exiv2是一款用于图像元数据管理的C++++库和命令行实用程序.它提供了快速容易读取和写入访问到EXIF,IPTC,XMP多种格式的图像元数据.Exiv2命令行程序用于打印Exif,IPTC,XMP元数据,包括:不同格式的Makernote标签,调整Exif时间戳,按照Exif时间戳重命名图像,提取和插入EXIF,IPTC,XMP元数据和http://www.aliyun.com/zixun/aggregation/16701.html">JPEG注释,或删除缩略图从图像或特定类型的元数

JSXGraph 0.94发布 交互式几何图绘制库

JSXGraph 是一个跨浏览器的交互式几何图绘制库,能够处理http://www.aliyun.com/zixun/aggregation/17119.html">Web浏览器的可视化数据.它无需依赖任何其它库,完全实现了JavaScript,只需使用SVG.VML或canvas.JSXGraph易于嵌入到网页中,且小巧约80KB. JSXGraph 0.94该版本支持期待已久的标签灵活定位功能.带来了事件处理的改进.包含了许多错误修正和更好的GEONExT文件格式的兼容性.许多其他小的

SCSS 0.4.1发布 一个用于解析R6RS计划库

SCSS是一个用于解析R6RS计划库,查询和发光样式信息与建议,兼容W3C层叠样式表.虽然SCSS本身并不提供任何的渲染功能,它可以提供样式信息的应用程序和库做. SCSS包括一个任意文件实现可插入式API,允许它适应在W3C建议中所述选择类型齐全; SDOM支持外的即用. SCSS 0.4.1更新日志:这是一个错误修正发行版,解决了破碎符号引用,并更新为http://www.aliyun.com/zixun/aggregation/29707.html">最新版本兼容SDOM文档界面的几