Local-first constraint-based allocation