diff --git a/.local/bin/etc/nvim/compiler b/.local/bin/etc/nvim/compiler
index b53dc30..0139d34 100755
--- a/.local/bin/etc/nvim/compiler
+++ b/.local/bin/etc/nvim/compiler
@@ -42,6 +42,7 @@ case "$file" in
 	*\.lua) lua "$file" ;;
 	*\.sent) setsid sent "$file" 2>/dev/null & ;;
         *\.r|*\.R) Rscript "$file" ;;
+        *\.smt2) z3 "$file" ;;
         *\.rs) (cd "$dir" && cargo locate-project >/dev/null 2>&1) \
             && (cd "$(dirname "$(cd "$dir" && cargo locate-project --message-format plain)")" && cargo run) \
             || (rustc "$file" && "./$(basename "${file%.rs}")") ;;