From 2ed04785efcc23ab59a4246c6594fb835fc5b86b Mon Sep 17 00:00:00 2001
From: hra687261 <hra687261@gmail.com>
Date: Sun, 1 Feb 2026 14:31:40 +0100
Subject: [PATCH] Upd tools: add dolmen to parsing, and SMT LSP to editing

---
 utilities.shtml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/utilities.shtml b/utilities.shtml
index 0efb5c0..3532c57 100644
--- a/utilities.shtml
+++ b/utilities.shtml
@@ -56,6 +56,9 @@
         
         <h4>Editing</h4>
         <ul>
+         <li>
+          The <a href="https://marketplace.visualstudio.com/items?itemName=hra687261.smt-lsp">SMT LSP VS Code extension</a> offering syntax highlighting and type-checking using the <a href="https://github.com/Gbury/dolmen">Dolmen</a> LSP server.
+         </li>
          <li>
           Syntax highlighting for <a href="https://github.com/bohlender/vim-z3-smt2">VIM</a>.
          </li>
@@ -70,6 +73,9 @@
         
         <h4>Parsing</h4>
 <ul>
+         <li>
+          <a href="https://github.com/Gbury/dolmen"><b>Dolmen</b></a>, an OCaml library for the parsing, type-checking and validation of SMT-LIB 2.6.
+         </li>
          <li>
           An <a href="https://github.com/julianthome/smtlibv2-grammar">ANTLR grammar</a> of SMT-LIB 2.6 scripts.
          </li>