Max SAT lib?

Is anyone aware of any Max SAT swift libraries out there?