larstvei/emacs
1
1
Fork 0
mirror of https://github.com/larstvei/dot-emacs.git synced 2024-11-26 07:28:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

use-package z3

Browse Source 
Done with the packages
This commit is contained in:
larstvei 2023-06-13 03:12:48 +02:00
parent 7c5b2ff52a
commit a3a859cba1
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
init.org
View File

@ -207,7 +207,7 @@
(let* ((package--builtins nil) (let* ((package--builtins nil)
(packages (packages
'(z3-mode))) ; z3/SMTLIBv2 interactive development '()))
(when (memq window-system '(mac ns)) (when (memq window-system '(mac ns))
(push 'exec-path-from-shell packages) (push 'exec-path-from-shell packages)
(push 'reveal-in-osx-finder packages)) (push 'reveal-in-osx-finder packages))
@ -1773,6 +1773,19 @@
#+end_src #+end_src
** Z3
I mostly use [[https://github.com/Z3Prover/z3][Z3]] as a Python library, but occasionally I'll run some SMT-LIB
code directly.
#+begin_src emacs-lisp
;; z3/SMTLIBv2 interactive development
(use-package z3-mode
:defer t)
#+end_src
* Key bindings * Key bindings
Inspired by [[http://stackoverflow.com/questions/683425/globally-override-key-binding-in-emacs][this StackOverflow post]] I keep a =custom-bindings-map= that holds Inspired by [[http://stackoverflow.com/questions/683425/globally-override-key-binding-in-emacs][this StackOverflow post]] I keep a =custom-bindings-map= that holds