From b2fdddba8ad92df8fd9274f24f03f2f6a1679716 Mon Sep 17 00:00:00 2001 From: Niklas Gruhn Date: Wed, 15 Mar 2023 21:19:01 +0100 Subject: [PATCH] tinker: Simplex --- SMT.cabal | 2 +- src/Theory/LinearArithmatic/Simplex.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/SMT.cabal b/SMT.cabal index 5815210..5d62a0d 100644 --- a/SMT.cabal +++ b/SMT.cabal @@ -18,7 +18,7 @@ library , Theory.UninterpretedFunctions.Lazy , Theory.UninterpretedFunctions.Eager , Theory.LinearArithmatic.FourierMotzkin - -- , Theory.LinearArithmatic.Simplex + , Theory.LinearArithmatic.Simplex , Theory.LinearArithmatic.BranchAndBound , Theory.NonLinearRealArithmatic.Expr , Theory.NonLinearRealArithmatic.Interval diff --git a/src/Theory/LinearArithmatic/Simplex.hs b/src/Theory/LinearArithmatic/Simplex.hs index 35a9da8..8c58d38 100644 --- a/src/Theory/LinearArithmatic/Simplex.hs +++ b/src/Theory/LinearArithmatic/Simplex.hs @@ -95,7 +95,7 @@ pivot' basic_var non_basic_var (Tableau non_basis bounds assignment) = new_value_basic_var = from_just "Basic variable doesn't have a bound so it's not actually violated" $ snd <$> M.lookup basic_var bounds - basic_var_coeff = _ + basic_var_coeff = snd equation M.! basic_var old_value_non_basic_var = non_basis M.! non_basic_bar new_value_non_basic_var = old_value_non_basic_var + (old_value_basic_bar - new_value_basic_var) / basic_var_coeff