From aded390750171429dca8e7e4d83e3fca76718cbf Mon Sep 17 00:00:00 2001
From: Minijackson <minijackson@riseup.net>
Date: Wed, 25 Jan 2023 16:08:21 +0100
Subject: solving: add minimize/maximize

---
 core/src/solving.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'core/src')

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;
-- 
cgit v1.2.3