The link provides solvers that were developed in B-Prolog, and that were submitted to the annual CP solver competitions. The competition is an interesting platform for various solvers to compete and to learn from each other. 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
2013-01-25
