1 files changed, 3 insertions, 0 deletions

diff --git a/core/src/solving.rs b/core/src/solving.rs
index da053e7..bfe3ff3 100644
--- a/core/src/solving.rs
+++ b/core/src/solving.rs
@@ -135,6 +135,9 @@ pub trait SolverContext {
         result
     }
 
+    fn float_maximize(&mut self, value: Float);
+    fn float_minimize(&mut self, value: Float);
+
     // Bools
 
     fn new_free_bool(&mut self) -> Bool;