Is it possible to use JaCoP to solve a constraint problem that includes what might be called black box constraints? That is, I would like to be able to write a function that computes the values of one Domain Variable as a function of some other Domain Variables. This is a function that JaCoP will not be able to analyze, i.e., it will be a black box as far as JaCoP is concerned.

Thanks.

- Russ Abbott