mirror of
https://github.com/Z3Prover/z3
synced 2026-03-07 22:04:53 +00:00
213 B
213 B
A C# implementation of the procedure is here: https://github.com/CEisenhofer/ZIPT/tree/parikh/ZIPT
A description of the algorithm is in LazyMemberships.pdf
Other algorithms are descried in ClemensTableau.pdf