S-SAT - Sapienza SAT 06
在罗马的拉萨皮恩扎大学课程中,我开发了一个基于单元传播和回溯的完全工作的SAT解算器;它可以读取DIMACS文件和处理任何长度的cnf公式(对文字的数量没有限制)。
版本历史记录
- 版本 s-sat06.beta1 发布于 2009-02-14
若干修复和更新 - 版本 s-sat06.beta1 发布于 2009-02-14
软件信息
- 软件分类: 教育 > 其他
- 发布者: s-sat.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 06
- 适用平台: linux
相关软件
-
KJV Bible (fortune format) 免费
KJV圣经在Unix财富文件格式。 每个*财富*是一首诗。 相当不错的 Unix 外壳用户和那些希望生成一天的 "报价"" & quot; 与 cron
-
Algebra Cheat Sheet 免费
代数备忘单为您提供代数公式的快速参考。主题包括:1. 基本属性和事实(包括激进分子、指数、对数等的属性,2. 保理和求解方程3. 求解线性方程、二次方程、用平方根求解方程、用绝对值求解方程的方法4. 抛物线、日食、超级波拉、圆等的功能和图形,5. 常见的代数错误。您可以将此备忘单称为代数公式的快速参考。
-
Word Trainer 免费
在 Android 设备中练习词汇的最简单方法!想念你的母语?想要添加更多有趣的单词?随意贡献数据库,你会帮助其他人练习你的语言。欢迎所有语言!http://goo.gl/4hd3G有三种不同的方式玩 Word 训练器:- 挑战:尽量在60秒内猜出尽可能多的单词。尝试击败你的最好成绩!- 练习:尽可能多地练习单词,没有时间限制。- 重复:设置要练习的单词量(只需几个单词就更容易集中注意力)。当前支持的语言包括:
-
VOX Compact Spanish + Thesauru 免费试用
这个值软件包包括Vox西班牙语高级词典和优秀的Vox西班牙语同义词库。Vox 西班牙语高级词典提供含义、示例、成语和表达,是高中和大学学生的理想之选。同义词库对于提高你的西班牙语知识以及在谈话和写作时以最大的精确度表达自己是必不可少的。* 字典中有 34 000 个条目和 70 000 个欧美西班牙语定义* 同义词库中的 128 000 个同义词和反义词* 超过5000个成语和表达* 不规则动词附录搜索工具具有各
-
Zelda all series Cheats 免费
**已经更新广告格式,以符合谷歌Play开发者计划政策**方便作弊:塞尔达的应用程序的所有系列功能包括:-收集作弊和代码的塞尔达传奇所有经典系列如下***塞尔达的传说:天空之剑***新**塞尔达的传说:经典内塞尔达II:链接的传奇塞尔达的冒险:与塞尔达的传说的链接:链接的塞尔达的传奇:链接的 觉醒塞尔达的传说: 时间塞尔达的奥卡琳娜: 塞尔达的面具传奇: 塞尔达的预言: 塞尔达的甲骨文: 时代预言塞尔达的传说: 塞尔达的风唤醒传奇: 塞尔达的四剑
-
Sai Satcharitra English 免费试用
现在也有印度语 - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindi欧姆 · 什里 · 赛纳塔亚 · 纳马!!!希尔迪·赛巴巴的《萨查里特拉》英文版- 52章,包括阿尔蒂和《论语》。萨查里特拉·萨塔·帕拉扬可以在任何星期四开始,然后在7天内完成。我请求的权限是在我玩如何插入广告的概念时, 我最终没有添加。这些权限对使用情况没有影响。向
-
Pro Cheats Pokemon White 2 Edn 免费
这个程序包括代码, 作弊, Pokedex, 传奇神奇宝贝指南, 形式变化, 前 10 名神奇宝贝统计, 提示和更多的神奇宝贝白色 2!* 这个程序是非官方的, 请阅读免责声明在描述的底部 * 需要一些帮助在神奇宝贝白色 2?包括在这个应用程序是一个完整的作弊代码和提示列表。您可以随身携带您的导游轻松到朋友家,并通过电子邮件通过电子邮件向好友发送特定部分的电子邮件。包括:---------] • 作弊指南 • 提示和 技巧 » 动作重播代码 »
-
Conquest Flex Viewer 免费
ConquestWebView 是一个基于 Web 的 dicom 查看器,用于从用户那里http://www.xs4all.nl/~ingenium/dicom.html。该项目以 PHP 和 Flex 编写。请注意,系统在显示前将 DICOM 图像转换为 JPG。
-
Atmel AT90USB 802.11g Wireless Project 免费
该项目为使用现成的硬件和开源技术为 802.11g 无线通信提供了廉价的解决方案。这使用 Atmel AT90USB 微型和 ZyDas ZD1211B 无线芯片组。由大卫·加斯克Wibotics.com
-
LDS Hymns with Notes 免费试用
这是一个非官方的应用程序,具有耶稣基督后期圣徒教会的音乐!以英文、西班牙文、法语和葡萄牙语提供 LDS 赞美诗!这个程序允许您查看LDS赞美诗 - 作为文本和乐谱。按数字、标题、歌词、主题、作者、作曲家等查找赞美诗。按下按钮即可在语言之间切换,捏合缩放以便更好地查看,并流式传输来自LDS.org。在页面之间轻松轻扫。仅使用文本大小和颜色选项将赞美诗视为歌词。注意:由于版权限制,某些赞美诗可能不可用。