z3-mode

Homepage: https://github.com/zv/z3-mode

Author: Zephyr Pellerin

Updated: 2021-Nov-15

Summary

A z3/SMTLIBv2 interactive development environment

Commentary

An interactive development environment for SMT-LIB files and Z3. Z3 and
Contessa as well as various SMTLIB supporting theorem provers & solvers are
supported. Structured statements can be inserted and ran with C-c

Dependencies

• flycheck