Skip to content

Add support for log-det through JuMP#730

Open
blegat wants to merge 1 commit into
masterfrom
bl/log_det
Open

Add support for log-det through JuMP#730
blegat wants to merge 1 commit into
masterfrom
bl/log_det

Commits

Commits on May 26, 2026