mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
eee96ec312
spacer would drop variables of sorts not handled by main loop. - projection with witness needs to disable qel style preprocessing to ensure witnesses are returned. - add euf plugin to handle uninterpreted sorts (and then uninterpreted functions)
4 lines
61 B
Plaintext
4 lines
61 B
Plaintext
# auto-generated
|
|
genaiscript.d.ts
|
|
tsconfig.json
|
|
jsconfig.json |