CRPC 0.7.6-090920

相关软件

• Parallel Sat4J 免费

  这是一个学术项目;主要目标是生成一个算法来并行化 CNF 公式，然后将分布式零件馈送至顺序 SAT 解算器，对于此项目，我们选择使用 Sat4J 作为解算器。

• Yamwi 免费

  然而，另一个马克西玛网络界面。在批处理模式下通过 Web 运行 Maxima 程序。数学结果以 ASCII 艺术样式或基于 TeX 的二进制文件返回。

• UIChart iOS component 免费试用

  Rustemsoft UIChart 控件能够创建 iOS 应用，使用简单、直观且视觉上引人注目的图表，用于不同图表类型（包括饼图、条形图、线形图、圆柱图、圆柱形图、面积图和其他图表类型）中的复杂统计或财务分析。您可以使用 UIChart 控件显示少量数据的图形，也可以缩放它以显示非常大的数据集的图表。图表对象可以彼此定位或重叠。这为您提供了创建自定义图表的自由。绘图区域位于图表内，UIChart 控件在其中绘制数据系列。它也是绘制轴、网格线、剖

• LAAAD 免费

  这是模块和 HOWTOs 的集合，允许扩展 Active Directory，并为 Linux 主机的 LDAP/SSL 身份验证提供支持，为 Linux 用户设置本地主目录占用空间，并在登录时安装其 smbfs 远程主目录。

• ARAStoUML 免费

  ArastoUML 是阿拉斯创新者数据模型和 UML 之间交互的项目

• Ira DB Manager 免费

  此项目的目的是让 DBA 和开发人员比较、同步和管理其任何 Access 数据库。此外，未来的计划是为文件的每个表生成用于 INSERT/SELECT/更新/删除操作的 SQL 组合语句

• Another Korean Keyboard 免费试用

  另一个汉古尔（韩国）IME不仅输入韩语，而且输入在韩国经常使用的中文和符号。

• SimpleCM 免费

  SimpleCM 是一个简单的内容管理器，旨在方便用户更改。它的设计是以用户为设计。它将通过管理界面发货，以帮助您配置 SimpleCM。

• kernel/userspace shared memory driver 免费

  mbuff.o 模块和 /dev/mbuff 旨在用作共享内存设备，使使用 vmalloc 在内核中分配的内存可以映射到用户空间中。特别推荐用于 RT-Linux 任务/用户空间通信。

• Rich Web Application Development Tool 免费

  该项目旨在简化使用 Laszlo Openserver 开发丰富的 Web 应用程序。该项目的初衷只是证明生成数据库应用程序的可能性。但是我们现在有一个更高的目标。