Constraint Solvers: http://www.probp.com/solvers/

Solvers developed in B-Prolog submitted to the annual CP solver competitions are available here. The competition is an interesting platform for various solvers to compete and to learn from each other as well. In 2005, the solver developed in B-Prolog was the only participanting solver based on a CLP(FD) system.