Do not assume the default solver handles binary variables

Author: lovasoa

tests/solver_scaling.rs

@@ -36,11 +36,5 @@ fn sum_binaries() {
     let mut vars = variables!();
     let team1_bools = vars.add_vector(variable().binary(), BIG_NUM);
     let team1_score: Expression = team1_bools.iter().sum();
-    let sol = vars
-        .maximise(team1_bools[0])
-        .using(default_solver)
-        .with(constraint!(team1_score == 5))
-        .solve()
-        .unwrap();
-    assert_eq!(team1_bools.iter().map(|&v| sol.value(v)).sum::<f64>(), 5.0);
+    let _constraint = constraint!(team1_score == 5);
 }