Mixed-Integer Optimization with Constraint Learning | Synapse