I don't know anything about OR but I see constraint solving on there. Has anyone looked at Alice ML or Oz for solving these kinds of problems? Do they apply?

I don't know anything about OR but I see constraint solving on there. Has anyone looked at Alice ML or Oz for solving these kinds of problems? Do they apply? Am I confused?