mewilhel Goto Github PK

affinearithmetic.jl

Affine arithmetic in Julia

baron.jl

Julia wrapper for the BARON mixed-integer nonlinear programming solver

cbc.jl

Julia wrapper for the Cbc solver

cplex.jl

Julia interface for the CPLEX optimization software

diffeqdocs.jl

Documentation for the DiffEq ecosystem

diffrules.jl

A simple shared suite of common derivative definitions

dynamicbounds.jl

Bounds and Relaxations of Parametric Differential Equations

dynamicboundspodesdiscrete.jl

Valid Discrete-Time Methods for Relaxing pODEs

eago.jl

A development environment for robust and global optimization

eagodifferential.jl

Utilities for relaxing differential equations and solving DE constrained optimization problems

intervalarithmetic.jl

Rigorous floating-point calculations using interval arithmetic in Julia

intervalcontractors.jl

Interval contractors and inverse (reverse) functions for Julia

ipopt.jl

Julia interface to the Ipopt nonlinear solver

jump.jl

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

majoreagoupdate.jl

Update EAGO with Julia 0.7, MathOptInterface, Cassette support

mathoptinterface.jl

An abstraction layer for mathematical optimization solvers.

mccormick.jl

A Forward McCormick Operator Library

minlplibjump.jl

Mixed-Integer NonLinear Program library for Julia JuMP

mybinder_test

test repository for mybinder

reversemccormick.jl

Reverse McCormick Operator Library

statictaylorseries.jl

taylormodels.jl

Rigorous function approximation using Taylor models in Julia

taylorseries.jl

A julia package for Taylor polynomial expansions in one and several independent variables.