Do you know if there is any documentation on how they actually implement the algorithms behind it? Seems like possibly it's a small enough region that you coul

Do you know if there is any documentation on how they actually implement the algorithms behind it? Seems like possibly it's a small enough region that you could cram it into a MILP solver?