update dependencies

Author: lovasoa

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "good_lp"
-version = "1.13.0"
+version = "1.14.0"
 authors = ["Ophir LOJKINE <contact@ophir.dev>"]
 edition = "2018"
 repository = "https://github.com/rust-or/good_lp"
@@ -40,18 +40,18 @@ minilp = [
 coin_cbc = { version = "0.1", optional = true, default-features = false }
 microlp = { version = "0.2.11", optional = true }
 lpsolve = { version = "0.1", optional = true }
-highs = { version = "1.8.0", optional = true }
-russcip = { version = "0.7.1", optional = true }
+highs = { version = "1.11.0", optional = true }
+russcip = { version = "0.8.2", optional = true }
 lp-solvers = { version = "1.0.0", features = ["cplex"], optional = true }
 cplex-rs = { version = "0.1", optional = true }
-clarabel = { version = "0.10.0", optional = true, features = [] }
+clarabel = { version = "0.11.0", optional = true, features = [] }
 fnv = "1.0.5"
 
 [dev-dependencies]
 float_eq = "1.0"
 
 [target.'cfg(not(target_arch = "wasm32"))'.dev-dependencies]
-criterion = "0.5"
+criterion = "0.6"
 
 [target.'cfg(target_arch = "wasm32")'.dev-dependencies]
 wasm-bindgen-test = "0.3.0"

README.md

@@ -16,11 +16,11 @@ fn main() -> Result<(), Box<dyn Error>> {
         vars:
                a <= 1;
           2 <= b <= 4;
-    } // variables can also be added dynamically
+    } // variables can also be added dynamically with ProblemVariables::add
     let solution = vars.maximise(10 * (a - b / 5) - b)
-        .using(default_solver) // multiple solvers available
+        .using(default_solver) // IBM's coin_cbc by default
         .with(constraint!(a + 2 <= b))
-        .with(constraint!(1 + a >= 4 - b))
+        .with(constraint!(1 + a >= 4 - b)) // .with_all(iter) is also available
         .solve()?;
     println!("a={}   b={}", solution.value(a), solution.value(b));
     println!("a + b = {}", solution.eval(a + b));

src/solvers/clarabel.rs

@@ -76,6 +76,7 @@ impl ClarabelProblem {
     }
 
     /// Convert the problem into a clarabel solver
+    /// panics if the problem is not valid
     pub fn into_solver(self) -> DefaultSolver<f64> {
         let settings = self.settings.build().expect("Invalid clarabel settings");
         let quadratic_objective = &CscMatrix::zeros((self.variables, self.variables));
@@ -90,7 +91,7 @@ impl ClarabelProblem {
             constraint_values,
             cones,
             settings,
-        )
+        ).expect("Invalid clarabel problem. This is likely a bug in good_lp. Problems should always have coherent dimensions.")
     }
 }
 
@@ -117,6 +118,7 @@ impl SolverModel for ClarabelProblem {
             SolverStatus::MaxTime => Err(ResolutionError::Other("Time limit reached")),
             SolverStatus::NumericalError => Err(ResolutionError::Other("Numerical error")),
             SolverStatus::InsufficientProgress => Err(ResolutionError::Other("No progress")),
+            SolverStatus::CallbackTerminated => Err(ResolutionError::Other("Callback terminated")),
         }
     }
 
@@ -180,7 +182,7 @@ impl<'a> SolutionWithDual<'a> for ClarabelSolution {
     }
 }
 
-impl<'a> DualValues for &'a ClarabelSolution {
+impl DualValues for &ClarabelSolution {
     fn dual(&self, constraint: ConstraintReference) -> f64 {
         self.solution.z[constraint.index]
     }

src/solvers/highs.rs

@@ -382,7 +382,7 @@ impl Solution for HighsSolution {
     }
 }
 
-impl<'a> DualValues for &'a HighsSolution {
+impl DualValues for &HighsSolution {
     fn dual(&self, constraint: ConstraintReference) -> f64 {
         self.solution.dual_rows()[constraint.index]
     }

tests/variables.rs

@@ -1,4 +1,4 @@
-use good_lp::{constraint, default_solver, variables, Expression, Solution, SolverModel};
+use good_lp::{variables, Expression};
 
 #[cfg(target_arch = "wasm32")]
 use wasm_bindgen_test::*;
@@ -47,6 +47,8 @@ fn debug_format() {
 #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
 #[cfg(not(feature = "clarabel"))]
 fn variables_macro_integer() {
+    use good_lp::{constraint, default_solver, variables, Solution, SolverModel};
+
     variables! {
         vars:
                a <= 1;