Android application, multiple utilities for Operations Research.