express with CLP(FD) for comparison
optionally, build a large conjunction