From nzhou@acm.org  Wed Mar 28 00:28:57 2007
From: nzhou@acm.org (Neng-Fa Zhou)
Date: Tue, 27 Mar 2007 18:28:57 -0500
Subject: [bp-users]News about B-Prolog
Message-ID: <003801c770c7$b1a74240$6401a8c0@toshibauser>

Dear bp-users subscribers,



I am pleased to announce the release of B-Prolog version 7.0beta. The new 
version adopts a new engine that is on average about 40% faster than the 
previous version on normal Prolog programs. The new version also 
demonstrates performance enhancements in code size, compile time, and load 
time. The beta version is available for Windows and Linux only.



I am also pleased to share with you the good news that the B-Prolog CSP 
solver (running on an alpha version of 7.0) was ranked top in two categories 
in the Second International Solvers Competition. A total number of 21 
solvers from around the world entered the competition and 3425 problem 
instances  were used to  evaluate and rank the solvers. The problems were 
divided into five categories (2-ARY-INT, 2-ARY-EXT, N-ARY-INT, N-ARY-EXT, 
and GLOBAL) based on the arity (2-ARY, N-ARY, GLOBAL) and format of 
constraints (extensional tables and intentional relations). The B-Prolog CSP 
solver was ranked top in N-ARY-INT and GLOBAL. Detailed information about 
the competition is available at:



http://www.cril.univ-artois.fr/CPAI06/



I plan to release the final version of 7.0 in a couple of months. Please let 
me know if you have any requests or comments.



Best regards,
Neng-Fa
www.probp.com