diff --git a/quic/s2n-quic-core/src/packet/number/tests.rs b/quic/s2n-quic-core/src/packet/number/tests.rs
index ab13d222f9..041aa7e123 100644
--- a/quic/s2n-quic-core/src/packet/number/tests.rs
+++ b/quic/s2n-quic-core/src/packet/number/tests.rs
@@ -10,7 +10,7 @@ use bolero::{check, generator::*};
 use s2n_codec::{testing::encode, DecoderBuffer};
 
 #[test]
-#[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(cadical))]
+#[cfg_attr(kani, kani::proof, kani::unwind(5), kani::solver(minisat))]
 fn round_trip() {
     check!()
         .with_generator(
diff --git a/quic/s2n-quic-platform/src/message.rs b/quic/s2n-quic-platform/src/message.rs
index 8de208a793..1e7e58ad53 100644
--- a/quic/s2n-quic-platform/src/message.rs
+++ b/quic/s2n-quic-platform/src/message.rs
@@ -160,7 +160,7 @@ mod tests {
     use bolero::check;
 
     #[test]
-    #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(cadical))]
+    #[cfg_attr(kani, kani::proof, kani::unwind(17), kani::solver(minisat))]
     fn rx_message_test() {
         let path = bolero::gen::<path::RemoteAddress>();
         let ecn = bolero::gen();