Mac的Rodin安装教程

最新推荐文章于 2024-01-07 21:04:11 发布
VIP文章 最新推荐文章于 2024-01-07 21:04:11 发布
阅读量719 收藏 2
点赞数 1
分类专栏： 安装 文章标签： macos eclipse intellij idea
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43828250/article/details/115387310
版权

上篇文章写的是Windows 10下的Rodin安装，但由于Windows电脑过于沉重，而且续航不行，难以维持2个半小时的课程，故选择在Mac上安装。

软件列表

系统：macOS Big Sur 11.2.3

Rodin 3.5 下载地址：https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/

安装步骤

安装JDK 8

下载JDK 8
方法一

在Mac上直接terminal中输入：

brew cask install corretto8
方法二

在IDEA中点击File-Project Sturcture:

IDEA中

点击右上角文件夹图标：

最低0.47元/天 解锁文章
HaloHoohoo
关注
  • 1
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
专栏目录
Radmin 3.5 简体中文版附完美破解-百度网盘下载链接
12-20
Radmin 3.5 简体中文版附完美破解，服务器远程控制管理很好的软件，分权限控制，可以建用户名。已破解，永久使用
在Delphi中使用ZLib的最新版本
Vsun Sky ── 阿永的博客
06-30 8108
 ZLib(http://www.zlib.net)是现在使用最广泛的一套开源的通用无损压缩代码集了。它是LZ77 ((Lempel-Ziv 1977)的一个变种分支。它的代码是线程安全的，数据格式可以参见RFCs(Request for Comments) 1950 到1952(http://www.ietf.org/rfc/rfc1950.txt (zlib format), rfc1951.
通过MacdeBrew安装多版本Java + jEnv
aipig09的专栏
05-02 1068
通过MacdeBrew安装多版本Java + jEnv安装Homebrew导入homebrew-cask-versions安装Java 14安装Java 11安装Java 8安装AdoptOpenJDK 8安装Amazon Corretto 8确认安装完的JDK（JAVA_HOME）查看各个版本安装的路径JDK版本切换Java SE 14Java SE 11Java SE 8利用jEnv安装jEn...
2024/01/08 每日AI必读资讯
最新发布
m0_46163918的博客
01-07 497
用户可以通过移动设备、浏览器、MacOS/Windows 或 Bedrock Portal 访问。- 快速安装和启动各种AI工具的浏览器，包括AUTOMATIC1111、ComfyUI、Foocus等。- 汇集了ChatGPT、Midjourney、SD的套壳程序和微信机器人程序。- 能够根据用户的需求和兴趣进行学习和适应，没有任何限制。- 拥有1.5B参数，可实现3D-to-3D生成。- 一个内置了大语言模型的个人AI设备。- 适合初学者建立和运营AI站点。- 模型能够模仿他和他的朋友。
MacOS平台下@rpath在动态链接库中的应用
weixin_34237596的博客
09-27 2721
一、背景介绍       公司开发的一个底层库被用在了Mac平台的多个产品中。在开发这个底层库的初期，对于Mac OSX下的Install name 并没有过多的了解。对于XCode中的install name项也没有进行过多的配置，于是生成动态库文件在应用到各个产品中时都要修改install name才能用。后来在使用到CUDA库时，偶然发现了@rpath这个东西在CUDA动态库中被广泛使用。...
Event-B建模（二）——Rodin安装，插件安装
Campsisgrandiflora的博客
01-31 4707
目录步骤1：下载步骤2：安装和运行步骤3：插件安装 步骤1：下载 可以去wiki找到下载的地址https://wiki.event-b.org/index.php/Main_Page Rodin提供了windows，mac，linux的版本，选择对应版本将压缩包下载到电脑上 步骤2：安装和运行 将压缩包解压到合适的位置，然后打开rodin.exe，即可运行rodin 因为是基于eclipse平台开发的IDE，所以操作起来和eclipse差不多 我们打开个项目看看 左边是项目树结构，中间是编写代码的
Event-B建模（四）——Rodin平台使用及Event-B语言
Campsisgrandiflora的博客
03-18 5031
目录Rodin基本操作Event-B表示法 最近在做一些Event-B建模的事情，而Rodin平台使用的方法的中文说明实在太少，在各个模型建模时候，更想写一些建模的思路与需求文档分析方法，这里就总结一下Rodin平台的使用方法以及Event-B的语法结构 Rodin基本操作 Rodin基于Eclipse开发，所以基本操作和Eclipse差不多 新建工程 填写项目名称 新建Event-B组件 组件类型有Context（上下文）和Machine（机器），组件名字随便起，不过后面会有精化操作，可以从0开始
Windows 10 Rodin安装教程（附Java 8安装教程）
Hoohoo的博客
03-17 1961
由于本学期需要学习Event-B语言。 Event-B是一种基于传统的谓词演算和定理证明的形式化语言。 需要使用Rodin进行开发，因为下载的是3.5版本的，所以需要8以上（包含）的JRE的版本。 软件列表 系统：WIndows 10 软件 安装地址 JDK 8 https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html Rodin https://wiki.event-b.org/ind
Rodin-开源
05-12
Rodin（关系对象数据库，以非专有的方式实现Java绑定）是Matisse（专有对象数据库）的免费实现。 该项目仍处于开发初期。
rodin User's handbook
03-22
rodin平台的使用说明，对于刚学event-b并且开始使用rodin平台的人很有用
模拟Rodin不变式保持
04-05
模拟Rodin不变式保持
Rodin: Functional Analysis－3
06-15
Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第三部分131－195页。
Rodin: Functional Analysis－2
06-15
Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第一部分66－130页。
linux编译mac写的c语言,在 Mac 上玩 C 语言
weixin_39611072的博客
05-08 210
世界上不是缺少美, 而是缺少发现美的眼睛。Beauty is found everywhere. Our eyes do not show a lack of sense of beauty, but a lack of observation.—— Auguste Rodin很多人学习 iOS 开发，都是从下载 Xcode 这样大型的开发环境开始，谈到学习 C语言，自然想到去找一个这样的IDE，...
mac下Qt缺失libiodbc.2.dylib和libpq.5.dylib解决方案
yutianyue126的博客
06-22 3677
做了个mysql的qt小项目，当我准备用macdeployqt打包成pkg文件的时候，报错如下： $ macdeployqt /Users/rodin/Documents/Courses/DB/PSMS/build-PSMS-Desktop_Qt_5_15_0_clang_64bit-Release/PSMS.app ERROR: no file at “/usr/local/opt/libiodbc/lib/libiodbc.2.dylib” ERROR: no file at “/Application
MacOS下编译RedisDesktopManagement报no file at.../Python.framework/...错解决方案
KkBouGwanSeoi的博客
06-29 221
问题 执行命令：/Users/zzq/Qt5.9.8/5.9.8/clang_64/bin/macdeployqt rdm.app -qmldir=…/…/…/src/qml 出错：ERROR: no file at “/usr/local/opt/python/lib/Python.framework/Versions/3.7/Python” 错误 解决 该问题是找不到Python.framework，如果你跟笔者一样是用brew安装的，那么就将/usr/local/Cellar/python/3.7.5
Event-B建模（九）——用Rodin手动证明
Campsisgrandiflora的博客
05-11 2055
目录环境更改证明规则练习1 前面我们用Rodin建模了各种各样的模型，想必大家都知道Rodin的自动证明器有时候是会出错的吧？有时候，在自动证明器无法证明的情况下，我们需要进行手动的证明 环境更改 我们现在用的是SMT自动证明器，那玩意儿太高级了，为了体验一下手动证明的感觉，我们要首先更改一下我们的环境，来到这个界面，点击new 我们新建的这个证明环境命名为prp1，然后先把右边Loop On All Pending这个东西拖到中间 然后左边的都是证明的方法，把这个Goal in Hypotheses
rodin 怎么写if
05-21
在 Python 中，if 语句的语法如下： ``` if condition: # 如果 condition 为真，则执行这里的代码块 else: # 如果 condition 为假，则执行这里的代码块 ``` 其中，`condition` 是一个条件表达式，它可以是任何...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值