From 9a96aa94e699e4de6aee69752e5d75b6b7521e9b Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 20 Dec 2024 13:52:38 -1000 Subject: [PATCH] test Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 7ea62797a..14289058d 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -10,7 +10,7 @@ #include "math/lp/lar_solver.h" #include "math/lp/lp_utils.h" /* - Following paper: "A Practical Approach to Satisfiability Modulo Linear + Following paper: "A Practical Approach to Satisfiability Modulo Linear 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