Lean 4 FFI wrapper for the CSDP semidefinite programming solver - View it on GitHub