{"push_id":885072908,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1facaef86578d9588d9c81828fccbfc6c75c9a6e","before":"4ae5274744cf8ee8c1b745f776030921806a9856","commits":[{"sha":"1facaef86578d9588d9c81828fccbfc6c75c9a6e","author":{"email":"cbee40f6fbaf742c382fdde566252ec09ac60ed0@gmail.com","name":"Massimo Lauria"},"message":"Subset cardinality constraints can be equations","distinct":true,"url":"https://api.github.com/repos/MassimoLauria/cnfgen/commits/1facaef86578d9588d9c81828fccbfc6c75c9a6e"}]}