This is a specific version of Sat4j Pseudo with the capability to detect cardinality constraints.
It is a research prototype, made available to allow researchers to reproduce the results.
A production ready version with ship in Sat4j 2.3.6 shortly.
Contains the semantic detection described in the paper
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey: Detecting Cardinality Constraints in CNF. SAT 2014: 285-301