Take ahamez/libsdd@728014bcb0 into account.
Put the number of states in the JSON statistics file.
Merge branch 'master' into force