From 99f94edb4796123b5a1eef2bbec6753073b427e9 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Wed, 7 May 2025 13:28:48 +0200 Subject: [PATCH] fix #4641 --- ortools/sat/BUILD.bazel | 1 + ortools/sat/python/cp_model.py | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/ortools/sat/BUILD.bazel b/ortools/sat/BUILD.bazel index 7be2d605ea..a4708c1830 100644 --- a/ortools/sat/BUILD.bazel +++ b/ortools/sat/BUILD.bazel @@ -3869,6 +3869,7 @@ cc_library( ":drat_writer", ":sat_base", "//ortools/base", + "//ortools/base:file", "//ortools/base:strong_vector", "//ortools/util:strong_integers", "@abseil-cpp//absl/log:check", diff --git a/ortools/sat/python/cp_model.py b/ortools/sat/python/cp_model.py index db156958d8..0a8780d1c3 100644 --- a/ortools/sat/python/cp_model.py +++ b/ortools/sat/python/cp_model.py @@ -2156,9 +2156,9 @@ class CpModel: self.assert_is_boolean_variable(arg.negated()) return arg.index if isinstance(arg, IntegralTypes): - if arg == ~False: # -1 + if arg == ~int(False): return self.get_or_make_index_from_constant(1) - if arg == ~True: # -2 + if arg == ~int(True): return self.get_or_make_index_from_constant(0) arg = cmn.assert_is_zero_or_one(arg) return self.get_or_make_index_from_constant(arg)