SMS: Integer and combinatorial optimization