JSR-331 Change Log

Maintenance Releases

• Release 1.1.0 build Oct 16, 2012
  
  • Improved handling of optimization process:
    • The solver's method "findOptimalSolution" now has an optional third parameter

      public Solution findOptimalSolution(Objective objective, Var objectiveVar, OptimizationStrategy optStrategy); 
      
      where "optStrategy" can have one of 3 standard constants:

      • OptimizationStrategy.NATIVE - defined by a concrete implementation

      • OptimizationStrategy.BASIC - provided by a common JSR-331 implementation using a solution operator

      • OptimizationStrategy.DICHOTOMIZE - provided by a common JSR-331 implementation

  • The optimization process may be controlled by two different time limits set by the following methods of the interface Solver:
    • setTimeLimit(millis) - a number of milliseconds for a search of one solution
    • setTimeLimitGlobal(millis) - a number of milliseconds for the entire search of an optimal solution
      
  • The TCK now contains an additional 4 packages:
    • org.jcp.jsr331.test - mandatory JUnit tests that check compliance of different CP solvers to the standard
    • org.jcp.jsr331.samples - various constraint satisfaction and optimization problems that demonstrate the use of JSR-331
    • org.jcp.jsr331.linear.samples - various linear optimization problems that may be executed with any CP or LP solvers
    • org.jcp.jsr331.hakan - a collection of test problems contributed by Hakan Kjellerstrand
  
  
• Release 1.0.1 build July 26, 2012
  
  
  • Added a new implementation using JSetL constraint solver from the University of Parma. While it works with major JSR-331 tests, the JSetL's team works on improvements
  • JSR-331 has been integrated with Linear Programming tools. The same problem description (without any changes) works with different LP solvers which jars are added to the classpath.
    • We developed a generic (solver-independent) JSR-331 implementation for linear problems
    • Read more at this blog. A detailed User Manual for LP will be available soon, meanwhile you may learn by examples provided in the project "org.jcp.jsr331.linear.samples".
    • Seven new JSR-331 implementations are available for the following LP products:

    • Commercial

      o   IBM CPLEX

      o   GUROBI

    • Open Source

      o   SCIP

      o   GLPK

      o   COIN

      o   LP_SOLVE

      o   OJALGO.
      

• Release 1.0.1 build June 5, 2012
  
  
  • Added VarList that is ArrayList<Var>. This dynamic list of constrained integer variables can be used every where along with the array Var[]
  • Hakan Kjellerstrand contributed a collection of test problems available in the TCK in the folder "org.jcp.jsr331.hakan"
  • More examples have been added to  "org.jcp.jsr331.samples"
  •  Choco-based implementation has been improved and uses the latest Choco
  • JaCoP-based implementation is temporarily withdrawn.

Specification Releases

• Release 1.0.0 - March 7, 2012
  • Approved by JCP Executive Committee as the Final Release on March 7, 2012
    
• Release 0.9.0 - January 24, 2012
  • Delivered to JCP for the Final Approval Ballot on Jan
  • Features and examples not included in the final draft moved to org.jco.jsr331.tck.extra
    
• Release 0.8.2 - September 30, 2011
  • Proposed Final Draft