z3.Array

E2000558 UNEXPLORED

z3.Array is a Z3 Python API construct representing symbolic arrays used in SMT solving to model mappings from index domains to value domains.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
z3.Array canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Python API for Z3 → hasComponent → z3.Array ⓘ
subject linked to: Python API