RedSam
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/redsam/files/redsam/RedSam/RedSamV1.zip/download
关于 RedSam
二进制约束的约束满意度问题解算器,用于当前格式 XCSP 2.1 的 XML 输入文件,用于 2008 年 CSP/MaxCSP/WCSP 解算器竞争。解算器C++使用提升库
相关软件
-
VSource PHP Image Reflection Script 免费
此 PHP 图像反射脚本将输出具有生成的反射的图像只需在其他参数中采用图像参数,并输出原始图像以在浏览器中显示。支持输入格式:GIF、JPG、PNG、PDF
-
wmpower 免费
wmpower 是 Linux 的 Windows Maker 扩展坞应用程序,允许用户查看(并设置)其笔记本电脑的电源管理状态。以 C 编写,适用于启用 APM 和 ACPI 的内核。它还直接与东芝硬件接口。
-
FortCUDA 免费
该项目用于使用 Fortran 2003 和模块的 F95/2003 中的 CUDA ISO_C_BINDINGS绑定。它旨在为 Fortran 2003 中的 CUDA SDK 提供近乎本机的调用语法。目前,大多数 Fortran 编译器都支持ISO_C_BINDINGS模块。
-
Neurophysiology Analysis Toolkit 免费
用于分析神经生理数据的开源包 - 离线(与实时)处理单神经元尖峰列车或与行为和记忆过程相关的 EEG 数据。目前 MATLAB 重,具有一些特定于 Windows 的代码。
-
Lojban Glossary Builder 免费
Java 程序创建任何给定 Lojban 文本中唯一单词的(可能多语言)词汇表。
-
Eclipse XML based SRS 免费
EMF 2.0 生成 Eclipse 插件,以生成基于 XML、以用例为中心的软件要求规范,并可与外部文档和生成的软件组件链接。生成复杂的 html 报告。基于http://xmlbasedsrs.tigris
-
Fitnium 免费
FitNesse 和 Selenium 的组合,提供了一个特定于域的 langauge,允许任何开发人员以纯英语编写通过 Fitnesse 框架执行的氦测试。支持http://groups.google.com/group/fitnium
-
Kyumo: Kyu Jong Memo Widget 免费试用
特征:- 您可以将多个备忘录放在屏幕上-自. / To.支持日计数/倒计时- 可以选择3种颜色- Kyu Jong 和 SS501 的图标集- 当 D-1 和 D-0 倒计时时,将显示通知如何向主屏幕添加小部件:http://www.brighthub.com/mobile/google-android/articles/48646.aspx
-
The Pirate Bay Browser 免费
此应用程序不从设备***广告检索任何个人信息是什么保持这个应用程序免费, GPS权限是广告功能要求, 这只会触发,以便广告功能根据用户的位置将广告定位到用户, 没有别的.如果您有任何问题或疑虑,请随时给开发者发电子邮件!搜索和下载您最喜爱的电影,音乐,游戏,应用程序直接进入您的Android设备,从世界著名的海盗湾.搜索前100名的电影,歌曲,游戏等,或专门搜索任何类型的内容,并直接下载到您的设备。所有问题,疑虑或反馈总是欢迎,我们将保持此应用程
-
axdistcc 免费
axdistcc 是一个小的 livecd 与 distcc, 它使一个编译场的轻松创建成为可能。它使用作为基本系统的 Slackware Linux 11.0 和修改的 linux 实时脚本。