Step 01
Declare
Constraints in Python — latency, durability, throughput.
Step 02
Solve
Z3-backed planner scores the catalog.