Temporarily hardcode using the new solver

Signed-off-by: J Robert Ray <[email protected]>

Author: jrray

crates/spk-cli/common/src/flags.rs

@@ -270,15 +270,15 @@ impl Solver {
             solver.add_repository(repo);
         }
         solver.set_binary_only(!self.allow_builds);
-        solver.set_initial_request_impossible_checks(
-            self.check_impossible_initial || self.check_impossible_all,
-        );
-        solver.set_resolve_validation_impossible_checks(
-            self.check_impossible_validation || self.check_impossible_all,
-        );
-        solver.set_build_key_impossible_checks(
-            self.check_impossible_builds || self.check_impossible_all,
-        );
+        //solver.set_initial_request_impossible_checks(
+        //    self.check_impossible_initial || self.check_impossible_all,
+        //);
+        //solver.set_resolve_validation_impossible_checks(
+        //    self.check_impossible_validation || self.check_impossible_all,
+        //);
+        //solver.set_build_key_impossible_checks(
+        //    self.check_impossible_builds || self.check_impossible_all,
+        //);
 
         Ok(solver)
     }

crates/spk-solve/src/lib.rs

@@ -3,7 +3,7 @@
 // https://github.com/spkenv/spk
 
 mod abstract_solver;
-mod cdcl_solver;
+pub mod cdcl_solver;
 mod error;
 mod io;
 #[cfg(feature = "statsd")]