MILP library for Android