A JuMP-based library of Non-Linear and Mixed-Integer Non-Linear Programs - View it on GitHub