Aspasia.jl Under construction. Only works on Julia master. A polyhedral approximation solver for general mixed-integer convex conic optimization problems.