chocoteam/choco3 — pull request #194 by JLiangWaterloo (2014-04-02 04:44:59+00:00)
Title: Fixed the caching of fixed integer variables as per documentation.

The documentation says that variables prefixed "cste -- " are cached but that is not the case.