[Savannah-hackers] submission of ExCsS -- An Extendable Constraint Solver - savannah.nongnu.org

[goualard]

A package was submitted to savannah.nongnu.org
This mail was sent to address@hidden, address@hidden


Frederic Goualard <address@hidden> described the package as follows:
License: lgpl
Other License: 
Package: ExCsS -- An Extendable Constraint Solver
System name: excss
Type: non-GNU

Description:
The purpose of this project is to develop a library,
a modeling language, and a modeling environment to solve systems of equations 
and inequations using interval arithmetic and AI methods such as local 
consistency enforcement. It is expected that the resulting system become both a 
testbed for new algorithms written by interval constraint researchers and a 
standalone application to reliably solve hard nonlinear constraint systems such 
as the ones arising in robotics or chemistry.

The library is written in C++. It uses the "gaol" LGPL interval arithmetic 
library. The modelling language will be handled by flex/bison.  

URL to find the source code:
http://goualard.free.fr/cacao.tar.bz2

Other Software Required:
As for now:
- gaol interval arithmetic library (LGPL: http://sourceforge.net/projects/gaol/)
- mathlib mathematical library (LGPL: http://oss.software.ibm.com/mathlib/)
In the future:
- Qt (http://www.trolltech.com)

Other Comments:



_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/