Disambiguation evidence for z3.Optimize via surface form

"z3.Optimize"

Triples (1)

Triples where some other subject referred to this entity as "z3.Optimize".

Python API for Z3 hasComponent
"z3.Optimize"
↳ resolves to z3.Optimize
linked to: Python API