From nzhou@acm.org Wed Oct 19 23:10:06 2005 From: nzhou@acm.org (Neng-Fa Zhou) Date: Wed, 19 Oct 2005 15:10:06 -0700 Subject: [bp-users]Release of B-Prolog 6.8-b1 Message-ID: <00c601c5d4f9$dd437ce0$d522fa80@toshibauser> This is a multi-part message in MIME format. ------=_NextPart_000_00C3_01C5D4BF.306B0810 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi, I am very pleased to announce that a new version B-Prolog, 6.8 beta-1, = has just been released. Only versions for Windows and Linux are = available now. Versions for Mac OsX and Solaris will be available when = the version 6.8 is officially released. This new version incorporates several major improvements: 1. It provides an interface to the GNU LP/MIP package (GLPK), through = which LP/MIP problems can be described in the CLP way. You can find the = examples of the LP/MIP interface in the=20 directory "BProlog/examples/lp".=20 2. A new event type "dom_any(X,E)" is provided, which captures = exclusions of arbitrary elements from the domain of X. This event is = useful for implementing the AC-4 algorithm for arbitrary support = constraints, as demonstrated by the solver for this year's solver = competition (http://www.probp.com/mosar/).=20 3. Improvements of constraint propagators for binary inequality = constraints, reification constraints, and global constraints (element, = all_distinct, and circuit). B-Prolog continues to provide a leading = technology for constraint solving. See the latest benchmarking results = at: http://www.probp.com/benchmark_clpfd.htm.=20 In addition to these major improvements, there are many minor changes. = Please see http://www.probp.com/updates.htm for more details.=20 Best regards, Neng-Fa Zhou ------=_NextPart_000_00C3_01C5D4BF.306B0810 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hi,
 
I am very=20 pleased to announce that a new version B-Prolog, 6.8 beta-1, has = just been=20 released. Only versions for Windows and Linux are available now. = Versions for=20 Mac OsX and Solaris will be available when the version 6.8 is officially = released.
 
This new=20 version incorporates several major improvements:
 
1. It provides=20 an interface to the GNU LP/MIP package (GLPK), through which=20 LP/MIP problems can be described in the CLP = way.  You can=20 find the examples of the LP/MIP interface in the
directory=20 "BProlog/examples/lp".
 
2. A new event=20 type "dom_any(X,E)" is provided, which captures exclusions of arbitrary = elements=20 from the domain of X. This event is useful for implementing the AC-4 = algorithm=20 for arbitrary support constraints, as demonstrated by the solver for = this year's=20 solver competition (http://www.probp.com/mosar/).=20
 
3. Improvements=20 of constraint propagators for binary inequality constraints, reification = constraints, and global constraints (element, all_distinct, and = circuit).=20 B-Prolog continues to provide a leading technology for constraint = solving. See=20 the latest benchmarking results at: http://www.probp.com/benchmark_clpfd.htm. =
 
In addition to=20 these major improvements, there are many minor changes. Please see http://www.probp.com/updates.ht= m for=20 more details.
 
Best=20 regards,
Neng-Fa Zhou
 
 
------=_NextPart_000_00C3_01C5D4BF.306B0810--