電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件簡介
Alloy 是用于描述結(jié)構（structure）的語言，也是探索結(jié)構的工具。從發(fā)現(xiàn)安全機制的漏洞到設計電話交換網(wǎng)絡，它已被廣泛用于各種應用中。
Alloy 4 是一個自包含的可執(zhí)行文件，其中包括 Kodkod 模型查找器和各種 SAT 解算器，以及標準的 Alloy 庫和一系列教程示例?？梢詫⑾嗤?jar 文件合并到其他應用程序中，以將 Alloy 用作 API，并包含源代碼。
要求：
Alloy 在使用最新 JVM（Java 6 或更高版本）的所有操作系統(tǒng)上運行。它可以與跨平臺 SAT 求解器（Sat4j 和更有效的本機 SAT 求解器（minisat，lingeling/plingeling，glucose）一起作為可運行的 jar 文件使用。
但是請注意，從 macOS High Sierra 開始，必須安裝專用的 JVM 才能在 macOS 上運行 Alloy。為此提供了一個 .pkg 文件。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- CN0540硬件描述語言設計
- Verilog硬件描述語言的學習課件免費下載 17次下載
- VHDL的硬件描述語言基礎詳細資料說明 18次下載
- 硬件描述語言VHDL及其應用的詳細說明 21次下載
- 基于Verilog硬件描述語言的IEEE標準硬件描述語言資料合集免費下載 10次下載
- FPGA教程之AHDL硬件描述語言的詳細資料說明 22次下載
- 硬件描述語言VHDL 12次下載
- VHDL硬件描述語言 0次下載
- Verilog硬件描述語言 0次下載
- Verilog硬件描述語言參考手冊 0次下載
- verilog硬件描述語言課程講義 33次下載
- Verilog HDL硬件描述語言【書籍
- VERILOG HDL硬件描述語言 0次下載
- VHDL硬件描述語言教學.
- Verilog硬件描述語言描述.
- fpga通用語言是什么 540次閱讀
- fpga用什么語言編程 2892次閱讀
- fpga用的是什么編程語言 fpga用什么語言開發(fā) 3581次閱讀
- fpga芯片用什么編程語言 1577次閱讀
- VHDL與Verilog硬件描述語言TestBench的編寫 1779次閱讀
- 二十進制編碼器及Verilog HDL描述 Verilog HDL程序的基本結(jié)構及特點 3052次閱讀
- Verilog HDL的歷史 FPGA硬件描述語言設計流程 1491次閱讀
- 使用Verilog/SystemVerilog硬件描述語言練習數(shù)字硬件設計 1739次閱讀
- 白皮書的描述語言move語法詳細解析 5554次閱讀
- 工業(yè)機器人常用的七種編程語言 1.5w次閱讀
- 常見的Verilog行為級描述語法 1w次閱讀
- verilog語言基本語句_verilog語言詞匯大全 9.5w次閱讀
- vhdl語言編寫 9秒倒計時器 7074次閱讀
- verilog語言與c語言的區(qū)別 1.2w次閱讀
- VHDL語言為核心的EDA技術在醫(yī)學中的應用 1240次閱讀
上傳資料賺積分下載排行
本周
- 1DD3118電路圖紙資料
- 0.08 MB | 1次下載 | 免費
- 2AD庫封裝庫安裝教程
- 0.49 MB | 1次下載 | 免費
- 3PC6206 300mA低功耗低壓差線性穩(wěn)壓器中文資料
- 1.12 MB | 1次下載 | 免費
- 4網(wǎng)絡安全從業(yè)者入門指南
- 2.91 MB | 1次下載 | 免費
- 5DS-CS3A P00-CN-V3
- 618.05 KB | 1次下載 | 免費
- 6海川SM5701規(guī)格書
- 1.48 MB | 次下載 | 免費
- 7H20PR5電磁爐IGBT功率管規(guī)格書
- 1.68 MB | 次下載 | 1 積分
- 8IP防護等級說明
- 0.08 MB | 次下載 | 免費
本月
- 1貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 103次下載 | 1 積分
- 2涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 89次下載 | 1 積分
- 3錦銳科技CA51F2 SDK開發(fā)包
- 24.06 MB | 43次下載 | 1 積分
- 4錦銳CA51F005 SDK開發(fā)包
- 19.47 MB | 19次下載 | 1 積分
- 5PCB的EMC設計指南
- 2.47 MB | 16次下載 | 1 積分
- 6HC05藍牙原理圖加PCB
- 15.76 MB | 13次下載 | 1 積分
- 7802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費
- 8蘋果iphone 11電路原理圖
- 4.98 MB | 6次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191390次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65989次下載 | 10 積分
工商網(wǎng)監(jiān)
評論