Skip to content

Add new plugin for polynomial inequalities (using OSDP)#499

Open
ploc wants to merge 3 commits into
OCamlPro:nextfrom
ploc:osdp
Open

Add new plugin for polynomial inequalities (using OSDP)#499
ploc wants to merge 3 commits into
OCamlPro:nextfrom
ploc:osdp

Add regression tests for the OSDP plugin

912bb49
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs