Gecode 3.7.0 Publishing System Application development environment

Gecode is a portable, highly efficient, constrained system http://www.aliyun.com/zixun/aggregation/13521.html "> Application development environment." From the root, Gecode is an open program, which means it can be easily connected to other systems. Supports new propagation functions (such as enforced constraints), branching strategies, and search engine programming. The new mutable fields can be programmed at the same efficiency level as the predefined variables for the set of finite fields and integers.

The Gecode 3.7.0 version adds and improves multiple execution constraints, including: A total set of variables, an integer variable limit, the use of integer sets, ranges, root element Constraints, integer variables, and the number of values of the integer variable constraints count the dictionary order integer variable. All these constraints (and some more) are now available in Flatzinc. In addition, there are some problems to be repaired and improved.

Software Information: http://www.gecode.org/

Download Address: http://www.gecode.org/download/gecode-3.7.0.tar.gz