diff options
| author | zhang <zch921005@126.com> | 2022-04-16 11:06:51 +0800 |
|---|---|---|
| committer | zhang <zch921005@126.com> | 2022-04-16 11:06:51 +0800 |
| commit | 76b9b1eed063b6823045c775545bd60b3c34861c (patch) | |
| tree | af540eae9f53c23e25bb15bd27da66e155cfcbb3 /cp/binary_encodings.py | |
| parent | 7903ae5a0afe37b36f08fc67772629f2270dd745 (diff) | |
ortools 实践逻辑约束
Diffstat (limited to 'cp/binary_encodings.py')
| -rw-r--r-- | cp/binary_encodings.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cp/binary_encodings.py b/cp/binary_encodings.py index db38d38..fe0ee80 100644 --- a/cp/binary_encodings.py +++ b/cp/binary_encodings.py @@ -4,6 +4,7 @@ from ortools.sat.python import cp_model # https://developers.google.com/optimization/cp/cryptarithmetic + class VarArraySolutionPrinter(cp_model.CpSolverSolutionCallback): """Print intermediate solutions.""" |