From c274d6efec55d736e49543fa65704b5d57d00d21 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 14 Dec 2023 20:33:08 +0000
Subject: [PATCH] Support Minisat source variants where l_False/l_True are not
 macros

There isn't really a single authoritative Minisat source anymore, and
therefore system-provided Minisat installations may use slightly
different source layouts. Cater for this by supporting at least the
variants with/without macros for l_False/l_True.

Fixes: #8052
---
 src/solvers/sat/satcheck_minisat2.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
index dc26882ad4b..0cf42e6b1f2 100644
--- a/src/solvers/sat/satcheck_minisat2.cpp
+++ b/src/solvers/sat/satcheck_minisat2.cpp
@@ -21,6 +21,11 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <minisat/core/Solver.h>
 #include <minisat/simp/SimpSolver.h>
 
+#ifndef l_False
+#  define l_False Minisat::l_False
+#  define l_True Minisat::l_True
+#endif
+
 #ifndef HAVE_MINISAT2
 #error "Expected HAVE_MINISAT2"
 #endif