bonmin: add osi, for BonOsiTMINLPInterface

2024-08-12 15:25:43 +02:00
parent bdd0717f54
commit 5ea10311c9
1 changed files with 2 additions and 0 deletions
@@ -13,6 +13,7 @@
 , ipopt
 , lapack
 , libamplsolver
+, osi
 , texliveSmall
 , zlib
 }:
@@ -45,6 +46,7 @@ stdenv.mkDerivation rec {
    ipopt
    lapack
    libamplsolver
+    osi
    zlib
  ];