Fix addEquality(CardinalityConstraint).
Add variants of the algorithms for maxsat (not really improving the performance of apino).
Replace long with int64_t.