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

Author: tautschnig

src/solvers/sat/satcheck_minisat2.cpp

@@ -21,6 +21,11 @@ Author: Daniel Kroening, [email protected]
 #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