fixpoint
fixpoint copied to clipboard
AllDifferent FWC is very slow.
- trace to find bottleneck;
- implement DC version.
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.