CHANGES:
Expose more of the underlying protocol buffers machinery to facilitate the
iterative use of the CP-SAT solver from OCaml, e.g., to complete hints, or
to solve multiple objectives in sequence.
CHANGES:
Expose more of the underlying protocol buffers machinery to facilitate the
iterative use of the CP-SAT solver from OCaml, e.g., to complete hints, or
to solve multiple objectives in sequence.