mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-30 21:57:46 +00:00
Code Activity

Update ZIPT link in euf_sgraph.h documentation

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-03-02 12:32:32 -08:00 • committed by GitHub
parent 8d05ab56a1
commit 5ca200ba2c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/euf/euf_sgraph.h
View file

@ -10,7 +10,7 @@ Abstract:
Sequence/string graph layer Sequence/string graph layer
Encapsulates string and regex expressions for the string solver. 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 The sgraph maps Z3 sequence/regex AST expressions to snode structures
organized as binary concatenation trees with metadata, and owns an organized as binary concatenation trees with metadata, and owns an
egraph with a seq_plugin for congruence closure. egraph with a seq_plugin for congruence closure.