電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
軟件簡介
Alloy 是用于描述結構（structure）的語言，也是探索結構的工具。從發現安全機制的漏洞到設計電話交換網絡，它已被廣泛用于各種應用中。
Alloy 4 是一個自包含的可執行文件，其中包括 Kodkod 模型查找器和各種 SAT 解算器，以及標準的 Alloy 庫和一系列教程示例?？梢詫⑾嗤?jar 文件合并到其他應用程序中，以將 Alloy 用作 API，并包含源代碼。
要求：
Alloy 在使用最新 JVM（Java 6 或更高版本）的所有操作系統上運行。它可以與跨平臺 SAT 求解器（Sat4j 和更有效的本機 SAT 求解器（minisat，lingeling/plingeling，glucose）一起作為可運行的 jar 文件使用。
但是請注意，從 macOS High Sierra 開始，必須安裝專用的 JVM 才能在 macOS 上運行 Alloy。為此提供了一個 .pkg 文件。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- CN0540硬件描述语言设计4次下载
- Verilog硬件描述语言的学习课件免费下载17次下载
- VHDL的硬件描述语言基础详细资料说明18次下载
- 硬件描述语言VHDL及其应用的详细说明21次下载
- 基于Verilog硬件描述语言的IEEE标准硬件描述语言资料合集免费下载10次下载
- FPGA教程之AHDL硬件描述语言的详细资料说明22次下载
- 硬件描述语言VHDL12次下载
- VHDL硬件描述语言0次下载
- Verilog硬件描述语言0次下载
- Verilog硬件描述语言参考手册0次下载
- verilog硬件描述语言课程讲义33次下载
- Verilog HDL硬件描述语言【书籍124次下载
- VERILOG HDL硬件描述语言0次下载
- VHDL硬件描述语言教学.93次下载
- Verilog硬件描述语言描述.101次下载
- fpga通用语言是什么626次阅读
- fpga用什么语言编程3101次阅读
- fpga用的是什么编程语言 fpga用什么语言开发3921次阅读
- fpga芯片用什么编程语言1792次阅读
- VHDL与Verilog硬件描述语言TestBench的编写1928次阅读
- 二十进制编码器及Verilog HDL描述 Verilog HDL程序的基本结构及特点3218次阅读
- Verilog HDL的历史 FPGA硬件描述语言设计流程1654次阅读
- 使用Verilog/SystemVerilog硬件描述语言练习数字硬件设计1865次阅读
- 白皮书的描述语言move语法详细解析5610次阅读
- 工业机器人常用的七种编程语言15830次阅读
- 常见的Verilog行为级描述语法10397次阅读
- verilog语言基本语句_verilog语言词汇大全95459次阅读
- vhdl语言编写 9秒倒计时器7138次阅读
- verilog语言与c语言的区别12651次阅读
- VHDL语言为核心的EDA技术在医学中的应用1289次阅读
上傳資料賺積分 广告![]()
下載排行
本周
- 1SW6306V AACC四口多協議升降壓移動電源SOC中文手冊
- 1.20 MB | 2次下載 | 1 積分
- 2LT8822SS共漏N溝道增強型場效應晶體管規格書
- 1.22 MB | 1次下載 | 免費
- 3實際測量三相直流無刷電機反電動勢波形（可下載）
- 1.03 MB | 1次下載 | 免費
- 4ACDC茂睿芯MK2687寬供電范圍高效率反激 PWM 控制器
- 2.28 MB | 1次下載 | 免費
- 5Python從入門到精通背記手冊
- 18.77 MB | 1次下載 | 1 積分
- 6直流無刷電機SPWM正弦波控制原理（可下載）
- 619.62 KB | 1次下載 | 免費
- 7HT7712 4.5V~18V輸入，2.5A同步降壓變換器中文手冊
- 1.27 MB | 1次下載 | 免費
- 8LT8818ESL N溝道增強型功率MOSFET規格書
- 0.94 MB | 次下載 | 免費
本月
- 1EN60335-1安規標準 中文版本
- 1.86 MB | 54次下載 | 1 積分
- 2DeepSeek從入門到精通
- 5.07 MB | 47次下載 | 免費
- 3第十一屆 藍橋杯 單片機設計與開發項目 省賽 程序設計試題及源碼
- 90.88KB | 23次下載 | 3 積分
- 4NR-E531TX-XN冰箱說明書
- 8.64 MB | 19次下載 | 免費
- 5STM32單片機無人機設計
- 8.81 MB | 11次下載 | 免費
- 6華為硬件工程師手冊目前最全版本
- 1.02 MB | 10次下載 | 2 積分
- 7OV9734數據手冊
- 7.42 MB | 6次下載 | 5 積分
- 8MAX9295電路圖
- 0.14 MB | 6次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935126次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191377次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183336次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81584次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73814次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論