Notes:
Bug fix release regarding the correctness of the solver: please update if you are using a previous RC1 or RC2 2.1 release.
Changes:
More efficient wcnf reader: the solver was sometimes taking longer to read a problem than to solve it!!!
Fixed a bug introduced when BigInteger support was introduced for the weight of constraints: the binary weighted constraints were not properly read. In such cases, the answer of the solver is likely incorrect!
