[I think that this might be of some interest as Gecode inherits
some ideas (computation spaces) from Oz. Christian.]
We would like to announce the release of
Gecode 1.0.0
http://www.gecode.org/
Gecode is an open, free, portable, accessible, and efficient
environment for developing constraint-based systems and
applications:
open
Gecode is radically open for programming: it can be easily
interfaced to other systems. It supports the programming of
new propagators (as implementations of constraints), branching
strategies, and search engines. New variable domains can be
programmed with the same efficiency as the finite domain and
integer set variables that come predefined with Gecode.
free
Gecode is distributed under a BSD-style license. All of its
parts including documentation, implementations of global
constraints, and examples are available as source code.
portable
Gecode is implemented in C++ that carefully follows the C++
standard. It can be compiled with modern C++ compilers and
runs on a wide range of machines (including 64bit machines).
accessible
Gecode comes with extensive reference documentation that allows
to focus on different programming tasks like modelling,
implementing propagators, and implementing variable domains.
efficient
Gecode offers competitive performance with respect to both
runtime and memory usage.
allows contributions
Gecode is designed to facilitate contributions on top of
it. CP(Graph) and CP(Map) providing graph and map variables for
constraint programming is available as a first contribution
built on top of Gecode.
Gecode and contributions built on top of it are available from
http://www.gecode.org/
--
Christian Schulte, http://www.imit.kth.se/~schulte/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
