GitHub - roujiawen/vsdp: Verified semidefinite programming. This package provides certified upper and lower bounds for optimization results.

roujiawen / vsdp Public

Verified semidefinite programming. This package provides certified upper and lower bounds for optimization results.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
conversion		conversion
examples		examples
private		private
benchmark.m		benchmark.m
bnd4sd.m		bnd4sd.m
mysdps.m		mysdps.m
vsdpinfeas.m		vsdpinfeas.m
vsdpinit.m		vsdpinit.m
vsdplow.m		vsdplow.m
vsdpneig.m		vsdpneig.m
vsdpup.m		vsdpup.m
vuls.m		vuls.m