ploc

Add new plugin for polynomial inequalities (using OSDP)

18

The purpose of this PR is to add a new plugin based on semi-definite programming (SDP, aka convex optimization). It solves problems involving polynomial inequalities which cannot be solved with...