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 the first two competitions, B-Prolog was the only participating solver based on CLP(FD). In the second competition held in 2006-2007, the B-Prolog solver was ranked top in two categories.
Neng-Fa Zhou
2011-05-12
