CHANGES of Copris

This document describes the major changes of Copris (Constraint Programming in Scala).

• value and values methods of solvers are now deprecated. Use apply methods of Solution class instead.

  if (find)
    println(solution(x))   // instead of println(value(x))
  

• Dot product operator of Vec is changed from *+ to :*.
• value method is defined in Term and Constraint classes.

  if (find)
    println((x + 1).value(solution))
  

• Anonymous variables can be created by Var() and Bool().
  • Names like _1, _2, etc. are used for anonymous variables.

• Release of the first version.