z3.Optimize

E2000557 UNEXPLORED

z3.Optimize is a Z3 Python API class that supports solving optimization problems by handling objectives such as maximization, minimization, and soft constraints on top of standard SMT solving.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
z3.Optimize 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.Optimize ⓘ

subject linked to: Python API