sat4j

Last modification

• Rev 2041 2013-05-16 16:37:59
• Author: lonca

• Log message:

  Provided the capability of change the value of a fixed variable : if user type vx=y and then vx=z, vx=y is forgotten instead of launching an error. To keep the old behavior, add the "-replacementForbidden" flag in the command line.
  Changes have made the scenario simulator incorrect ; it has been temporally removed.