電子發燒友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硬件描述語言設計
- Verilog硬件描述語言的學習課件免費下載 17次下載
- VHDL的硬件描述語言基礎詳細資料說明 18次下載
- 硬件描述語言VHDL及其應用的詳細說明 21次下載
- 基于Verilog硬件描述語言的IEEE標準硬件描述語言資料合集免費下載 10次下載
- FPGA教程之AHDL硬件描述語言的詳細資料說明 21次下載
- 硬件描述語言VHDL 12次下載
- VHDL硬件描述語言 0次下載
- Verilog硬件描述語言 0次下載
- Verilog硬件描述語言參考手冊 0次下載
- verilog硬件描述語言課程講義 33次下載
- Verilog HDL硬件描述語言【書籍
- VERILOG HDL硬件描述語言 0次下載
- VHDL硬件描述語言教學.
- Verilog硬件描述語言描述.
- fpga通用語言是什么 379次閱讀
- fpga用什么語言編程 2125次閱讀
- fpga用的是什么編程語言 fpga用什么語言開發 2738次閱讀
- fpga芯片用什么編程語言 1272次閱讀
- VHDL與Verilog硬件描述語言TestBench的編寫 1447次閱讀
- 二十進制編碼器及Verilog HDL描述 Verilog HDL程序的基本結構及特點 2272次閱讀
- Verilog HDL的歷史 FPGA硬件描述語言設計流程 1157次閱讀
- 使用Verilog/SystemVerilog硬件描述語言練習數字硬件設計 1484次閱讀
- 白皮書的描述語言move語法詳細解析 5464次閱讀
- 工業機器人常用的七種編程語言 1.5w次閱讀
- 常見的Verilog行為級描述語法 1w次閱讀
- verilog語言基本語句_verilog語言詞匯大全 9.4w次閱讀
- vhdl語言編寫 9秒倒計時器 6967次閱讀
- verilog語言與c語言的區別 1.2w次閱讀
- VHDL語言為核心的EDA技術在醫學中的應用 1142次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數據手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網監
評論