Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.
Gecode is a portable, accessible, and efficient environment for developing constraint-based systems and applications. Gecode is radically open for programming, meaning that it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains can be programmed at the same level of efficiency as finite domain and integer set variables that come predefined with Gecode.
Gecode/J is a Java interface to the Gecode C++ constraint progamming library. Gecode/J is mainly aimed at education, presenting a slightly simplified interface compared to Gecode. Using Gecode/J, modeling constraint problems, programming custom propagators, branchings, and search engines are possible directly in Java. There is also an interactive graphical search tool, the Gecode/J Explorer.