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

AllDifferent FWC is very slow.

Open bokner opened this issue 1 year ago • 1 comments

  • trace to find bottleneck;
  • implement DC version.

bokner avatar Jun 19 '24 01:06 bokner

It looks like nothing much can be done about simple FWC implementation, as the main bottleneck is the space branching process. Will continue with other implementations (Regin etc.) to improve performance.

bokner avatar Sep 28 '24 17:09 bokner