时间戳

首页 > 解决方案 > nano 的 Z3 语法高亮

syntax-highlighting - nano 的 Z3 语法高亮

问题描述

我正在使用 Z3 求解器并正在为它编写脚本，例如下面给出的示例：

(declare-const x Int)
(declare-const y Int)
(assert (= (* x y) 10))
(assert (> x 0))
(assert (> y 0))
(minimize (+ x y))
(check-sat)
(get-model)

我主要在终端中使用 nano 来编辑这些脚本，但我希望在执行此操作时突出显示语法。有没有z3.nanorc我可以使用的文件？

标签： syntax-highlightingz3nano

解决方案

我怀疑 nano 是否存在。但是，如果您选择 lisp 语法荧光笔，它应该可以完成这项工作。也许从这个开始：https ://github.com/serialhex/nano-highlight/blob/master/lisp.nanorc

推荐阅读