From 5ca200ba2c7e18f62a0c158a463bb102c4f8dbb6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 2 Mar 2026 12:32:32 -0800 Subject: [PATCH] Update ZIPT link in euf_sgraph.h documentation --- src/ast/euf/euf_sgraph.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_sgraph.h b/src/ast/euf/euf_sgraph.h index 2eedb3c75..9ef7b86d1 100644 --- a/src/ast/euf/euf_sgraph.h +++ b/src/ast/euf/euf_sgraph.h @@ -10,7 +10,7 @@ Abstract: Sequence/string graph layer Encapsulates string and regex expressions for the string solver. - Implements the string graph layer from ZIPT (https://github.com/CEisenhofer/ZIPT). + Implements the string graph layer from ZIPT (https://github.com/CEisenhofer/ZIPT/tree/parikh/ZIPT). The sgraph maps Z3 sequence/regex AST expressions to snode structures organized as binary concatenation trees with metadata, and owns an egraph with a seq_plugin for congruence closure.