dstahlke/LovaszTheta.jl not found