20141124

• AMPL Solver Library version 20141121: changelog

• Add support for the objno option to gecode and jacop:

  option gecode_options 'objno=2'; # use the second objective
  

• Implement alldiff as a sub-expression in gecode, ilogcp and jacop:

  var x{1..3} integer >= 1 <= 3;
  s.t. c: if alldiff{i in 1..3} x[i] then 0 else 1;
  

  The alldiff sub-expression is transformed into a logical AND expression such as x[1] != x[2] && x[1] != x[3] && x[2] != x[3].

• Implement !alldiff in gecode, ilogcp, jacop and localsolver:

  var x{1..3} integer >= 1 <= 3;
  s.t. c: !alldiff{i in 1..3} x[i];
  

  The !alldiff expression is transformed into a logical OR expression such as x[1] == x[2] || x[1] == x[3] || x[2] == x[3].

• Distinguishes derivative evaluation errors from function evaluation errors in AMPLGSL. To avoid issues with error reporting solvers should be compiled with ASL version 20141111.

All binaries are available for download from the AMPL Open-Source Downloads page.