文件名称：rosette:Rosette解算器辅助的宿主语言，样本解算器辅助的DSL和演示
文件大小：2.65MB
文件格式：ZIP
更新时间：2024-05-19 07:24:13
Racket
莲座丛语言 是一种求解器辅助的编程语言，它将扩展为用于程序合成，验证等的语言构造。 该存储库包括Rosette的源代码，以及一些示例求解器辅助的DSL。 安装玫瑰花结 安装Rosette的最简单方法是从Racket的软件包管理器中进行： 从下载并安装Racket 8.0或更高版本 使用Racket的raco工具安装Rosette： $ raco pkg install rosette 从源安装 或者，您可以从源代码安装Rosette： 从下载并安装Racket 8.0或更高版本 克隆玫瑰花资源库： $ git clone https://github.com/emina/rosette.git 卸载任何以前的Rosette版本： $ raco pkg remove rosette 使用Racket的raco工具安装Rosette： $ cd rosette $ raco