Programming System DFKI Oz
Tools for constraint programming
constraint programming libraries (including scheduling)
constraint programming interface (C++)
efficient implementation (Unix, Windows9x/NT)
many existing public-domain application prototypes