zv/z3-mode

An interactive development environment for SMT-LIB files and Z3

语言：Emacs Lisp · GitHub 星标：24 · Fork：7

话题：satsolver · smtlib · smtlibv2 · z3

在 GitHub 上查看原仓库