Boris Okner
Boris Okner
Large Neighborhood Search.
As of now, the binding of propagators to space variables happens before propagation starts. Either: - eliminate binding (possibly by associating propagator variables to variable nodes of the constraint graph);...
CPSolver.TSP.Example fails on this instance: [tsp_443.txt](https://github.com/user-attachments/files/18131984/tsp_443.txt) The instance is satisfiable, as confirmed by MinZinc/MiniCP.
Test for Reified fails. Reproduce: Change default break-even for FirstFail to `&Enum.random/1`. Run test: ``` test/constraints/reified_test.exs ```