[bp-users]Release of B-Prolog 6.8-b1
Neng-Fa Zhou
nzhou@acm.org
Wed, 19 Oct 2005 15:10:06 -0700
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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2900.2627" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3>Hi,</FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3DArial =
size=3D2></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>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.</FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3DArial =
size=3D2></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>This new=20
version incorporates several major improvements:</FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>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 <BR>directory=20
"BProlog/examples/lp". </FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>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 (<A=20
href=3D"http://www.probp.com/mosar/">http://www.probp.com/mosar/</A>).=20
</FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>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: <A href=3D""><FONT face=3D"Times New =
Roman"=20
size=3D3>http://www.probp.com/benchmark_clpfd.htm</FONT></A>. =
</FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3DArial =
size=3D2></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>In addition to=20
these major improvements, there are many minor changes. Please see <A=20
href=3D"http://www.probp.com/updates.htm">http://www.probp.com/updates.ht=
m</A> for=20
more details. </FONT></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3></FONT></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman" =
size=3D3>Best=20
regards,</FONT></FONT></DIV>
<DIV>Neng-Fa Zhou</DIV>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV>
<DIV><FONT face=3DArial size=3D2> </DIV></FONT></BODY></HTML>
------=_NextPart_000_00C3_01C5D4BF.306B0810--