optimize: add parameter configuration API

prove-rs · Jan 19, 2024 · 64cc930 · 64cc930
1 parent ab67534
commit 64cc930
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/z3/src/optimize.rs b/z3/src/optimize.rs
@@ -6,7 +6,7 @@ use z3_sys::*;
 
 use crate::{
     ast::{Ast, Bool, Dynamic},
-    Context, Model, Optimize, SatResult, Statistics, Symbol,
+    Context, Model, Optimize, Params, SatResult, Statistics, Symbol,
 };
 
 use num::{
@@ -198,6 +198,11 @@ impl<'ctx> Optimize<'ctx> {
             .map(|s| s.to_string())
     }
 
+    /// Configure the parameters for this Optimize.
+    pub fn set_params(&self, params: &Params<'ctx>) {
+        unsafe { Z3_optimize_set_params(self.ctx.z3_ctx, self.z3_opt, params.z3_params) };
+    }
+
     /// Retrieve the statistics for the last [`Optimize::check()`].
     pub fn get_statistics(&self) -> Statistics<'ctx> {
         unsafe {