Constraint Optimization Model for Dynamic Parking Space Allocation | Synapse