« Gecode: Guido Tack 'Constraint Propagation - Models, Techniques, Implementation' | Main | Gecode version 3.0.1 and Gecode/FlatZinc 1.5 released »

Comet version 1.2 released

Comet version 1.2 is released. From the release notes:

New Features
This release has the following new features [with bug tracking id where applicable]:

* New linear programming library (cotln) with interfaces to LPSolve and COINOR-CLP.
* New database library (cotdb) using ODBC.
* Addition of events to Boolean CP variables [#112].
* Implementation mouse tracking on Gtk [#33].
* Improved error messages for semantic errors [#169, 160, 141]
* Allow filtering inside of a collect statement [#153].
* Addition of FunctionFloatExpr [#151].
* Support for classes as keys in dictionaries [#143].
* Added new mark method for 2D plots [#127].
* Improved handling of arrays of arrays [#138].
* Implemented return statement in void functions [#142].
* The compiler now gives an error if a class has no constructors [#156].
* The compmiler givs an error if a non-void method has no return statement [#102].
* Unified syntax of select, selectFirst, and selectCircular [#154].
* Unified syntax for arrays and matrices [#140].
* Unified syntax of queues and stacks [#139].
* Support for with atomic in CP search [#99, 121, 123].
* Support for sqrt in CP objectives [#135].
* Support for getSnapshot on float CP variables. [#131].
* Support for swapping operator :=: on int and tuple set variables in LS [#101].
* Added getLocalSolver on var{set{int}}, var{bool}, and var{float} [#119].

Bug Fixes
This release fixes the following bugs [with bug tracking id where applicable]:

* Fixed memory leaks in CP library [#148].
* Allow assignments to variables stored in a dict using the operator := [#172].
* Packaging of additional library .cob files [#159,#167].
* Fixes to implementation of built-in stack [#161].
* Fixed implementation of ofstream on Mac OS X [#150].
* Allow casting to float inside of constraint expressions [#149].
* Improved handling of float CP variables with large domains [#147].
* The operator := now works on Float objects [#155].
* Improved consistency in floating point operations [#122].
* Added evalFloat() to var{float} [#129].
* Improved handling of failed constraints outside explore constructs [#130].
* Implemented printing of arrays of ranges [#128].
* Fixed race condition in parallel loops resulting in deadlock [#124].
* Fixed bug in initial state of queues [#180].
* Fixed performance degradation for certain local search problems [#181].

Comet can be downloaded from Dynadec.

For more info about Comet, see My Comet page.