From bef313f7a0ac6dbd0c5a4fa52772de3f07c300f9 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 20 Dec 2024 12:40:59 -1000 Subject: [PATCH] test --- src/math/lp/dioph_eq.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index d133f82de..7ea62797a 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -11,7 +11,8 @@ #include "math/lp/lp_utils.h" /* Following paper: "A Practical Approach to Satisfiability Modulo Linear - Integer Arithmetic" by Alberto Griggio(griggio@fbk.eu) Data structures are: + Integer Arithmetic" by Alberto Griggio(griggio@fbk.eu). + Data structures are: -- term_o: inherits lar_term and differs from it by having a constant, while lar_term is just a sum of monomials -- entry : has a dependency lar_term, keeping the history of the entry