GitHub repository: zv/z3-mode
Primary language: Emacs Lisp
Created: 2015-10-29T00:42:59Z
Description: An interactive development environment for SMT-LIB files and Z3