Rosette解算器辅助的编程语言
Rosette 是新的计算机辅助解析编程(SDSLs)语言,扩展了 Racket 的一些特性:合成,验证,调试和执行。
Rosette 是一个解算器辅助的编程语言,扩展了 Racket 用于程序合成、校验等。为了校验和合成代码,Rosette 将其编译为带 SMT 解决逻辑的逻辑限制解算。
示例代码:
#lang rosette (define (interpret formula) (match formula [`(∧ ,expr ...) (apply && (map interpret expr))] [`(∨ ,expr ...) (apply || (map interpret expr))] [`(¬ ,expr) (! (interpret expr))] [lit (constant lit boolean?)])) ; This implements a SAT solver. (define (SAT formula) (solve (assert (interpret formula)))) (SAT `(∧ r o (∨ s e (¬ t)) t (¬ e)))
评论
C2Rust编程语言转译器
C2Rust工具能够将大多数C模块翻译成语义上等价的rust代码。这些模块将单独编译,以生成兼容的对象文件。支持C99标准。在我们的工具翻译C源代码之前,使用clang对其进行分析和类型检查。帮助您将
C2Rust编程语言转译器
0
AI_Sudoku基于 GUI 的智能数独解算器
AI_Sudoku是一个基于GUI的智能数独解算器,能够从照片中提取数独谜题并解决它。安装下载并安装Python3建议使用 virtualenv,通过打开终端并键入以下内容来下载virtualenv:
AI_Sudoku基于 GUI 的智能数独解算器
0
RustMozilla的编程语言
Rust是Mozilla的一个新的编程语言,由web语言的领军人物BrendanEich(js之父),DaveHerman以及Mozilla公司的GraydonHoare合力开发。创建这个新语言的目的
RustMozilla的编程语言
0
wgms3d电磁波导模式矢量解算器
wgms3d是一个完整的电磁波导模式矢量解算器。计算介质波导的模式在指定波长使用二阶有限差分方法。波导截面可能由几个常数折射率(即相邻的区域。突变型配置文件)。介质的接口不需要与离散化网格;他们可能任
wgms3d电磁波导模式矢量解算器
0