clpz
clpz copied to clipboard
Update custom constraint example
Syntax usage was outdated (since clpfd days).
It took me quite some head scratcing to realise that run_propagator
extensions should be a dcg rule nowadays!