fixpoint icon indicating copy to clipboard operation
fixpoint copied to clipboard
verified publisher icon bokner

Top space propagation may fail for consistent domains

Open bokner opened this issue 1 year ago • 0 comments

CPSolver.TSP.Example fails on this instance: tsp_443.txt

The instance is satisfiable, as confirmed by MinZinc/MiniCP.

bokner avatar Dec 13 '24 21:12 bokner