The main contribution is that this includes a symbolic rearranger so you don't need get your problem into a certain form (unlike all other MILP solvers in the JS ecosystem)