gentoo.mahdi.cz
app-emacs
:z3-mode
A z3/SMTLIBv2 interactive development environment
https://github.com/zv/z3-mode
z3-mode-20211116.138
download
~amd64 ~x86
melpa