Commits on Aug 28, 2024

1. fix(BV, CP): Run cross-propagators to completion …

   Since OCamlPro#1185, when substitutions change the domain of a variable, we no
   longer trigger propagations, which means that we can end up in a state
   where the bitlist and interval domains are not consistent (i.e. running
   [constrain_bitlist_from_interval] or [constrain_interval_from_bitlist]
   would shrink some domains).
   
   This was initially part of OCamlPro#1185 but was accidentally removed as part of
   a simplification pass during review. Add it back.

   

   bclement-ocp committed Aug 28, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for c61e536
   • Browse repository at this point

   Copy the full SHA

   c61e536 View commit details

   Browse the repository at this point in the history