« MiniZinc Challenge 2010 | Main | Gecode version 3.3.1 released »

Comet version 2.1.0 released

Comet version 2.1.0 is released. It can be downloaded here.

From the release notes (in the distribution):

Major additions since 2.0.1:
  • New Version of Comet Studio IDE
  • New Version of User Manual
  • New Scheduling Resources

Detailed list of improvements:

  • New Version of Comet Studio IDE
  • New Version of User Manual, covering:
    • set variables in CP
    • soft global constraints in CP
    • more aspects of scheduling in CP
    • over-constrained problems
    • concurrency
    • visualization
    • interfacing with databases, XML, C++ and Java

  • General
    • Extended getSnapshot method for set variables
    • switch instruction now works with enumerated types
    • Extended onFailure to work with all types of selectors
    • Made possible to create set of arrays
    • Added copy method for set{string}
    • Added directory browsing support (classes FSDirectory and FSFile on Core module)
    • Added a reset method to the C++ API so that one can parse a Comet model once and solve several times with the same input
    • Added a method isEmpty() for sets
    • Added support for dictionaries of Objects (including string, Integer, Float, Boolean)
    • Allow definition of sets defined over enumerated type
    • Added filename option for seed tracking with -t and -r flags
    • Add the methods getNAN(), getPInf() and getNInf() to return the IEEE double representation for Not-a-number (NaN), +infinity, and -infinity
    • Allows equality testing between two ranges

  • Constraint Programming
    • Reduced cost on soft-cardinality constraints
    • More flexibility on cardinality constraints: not all values from the domains need to be constrained in cardinality
    • Added built-in guarded constraints
    • Added CostRegular and a new propagator for Regular
    • Allowed access to min/max in solution
    • Added the methods: Outcome requires(int val) and Outcome excludes(int val), on var{set{int}}
    • Allow declaration of arrays of var in extension
    • Added method function Solver getCPSolver(expr{int} e) to get the Solver from an expr{int}
    • Extended getSnapshot to var{set{int}} variables
    • Added getValue() method for var{float}
    • Added label(var{set{int}}[]) and getIntSetVariables() methods on Solver

  • Mathematical Programming
    • Allow declaration of float LP variables without an initial lower bound
    • Added Method to manually release the memory of a MIP/LP solver

  • Scheduling
    • New resources:
      • UnarySequence
      • UnaryResourcePool
      • UnarySequencePool
      • DiscreteResourcePool

    • Deprecated AlternativeUnaryResource

  • Visualization
    • New VisualBarplot widget
    • Improved VisualHistogram behavior and functionalities
    • New slider widget: UISlider
    • Added tooltips on VisualText, VisualTextTable, etc
    • Added more methods to VisualActivity:
      • void setRow(int i);
      • void setColor(string c);
      • void setToolTip(string s);

    • Several enhancement to VisualGantt