Use Sleipnir backend

SleipnirGroup · Feb 17, 2024 · b8da767 · b8da767
1 parent ce27588
commit b8da767
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust/build.rs b/rust/build.rs
@@ -2,7 +2,7 @@ use cmake::Config;
 
 fn main() -> miette::Result<()> {
     let mut cmake_config = Config::new("..");
-    let optimizer_backend = "casadi";
+    let optimizer_backend = "sleipnir";
 
     cmake_config
         .profile("RelWithDebInfo")