Emacs module to generate Z3 models from SMTLib (Lisp-like) code - View it on GitHub