{"push_id":804446190,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"7053c3d51e6244a6996b884b100e24549484d99c","before":"712ab8a4573007a25edbabae6ba430d1faed4007","commits":[{"sha":"338964a6dfbb4b0af68979c2ee022822e88b386f","author":{"email":"57f0a9c1aa2ca4e101db4e00e21af90520c4aa89@gmail.com","name":"mabdula"},"message":"Moved most options to Solver.h","distinct":true,"url":"https://api.github.com/repos/mabdula/minisat/commits/338964a6dfbb4b0af68979c2ee022822e88b386f"},{"sha":"8c3a5085eb64f11720a45ac1304647ff25ab10c4","author":{"email":"57f0a9c1aa2ca4e101db4e00e21af90520c4aa89@gmail.com","name":"mabdula"},"message":"Used n-ary clause adders instead of manually contructing the clauses in chainSBP","distinct":true,"url":"https://api.github.com/repos/mabdula/minisat/commits/8c3a5085eb64f11720a45ac1304647ff25ab10c4"},{"sha":"e7731cdbffe5c23122cc746e4b050d8e88079a43","author":{"email":"57f0a9c1aa2ca4e101db4e00e21af90520c4aa89@gmail.com","name":"mabdula"},"message":"Used n-ary clause adders instead of manually contructing the clauses in shatterSBP","distinct":true,"url":"https://api.github.com/repos/mabdula/minisat/commits/e7731cdbffe5c23122cc746e4b050d8e88079a43"},{"sha":"69acffe2fe4c21efdde6d433ae6fed152e587bfd","author":{"email":"57f0a9c1aa2ca4e101db4e00e21af90520c4aa89@gmail.com","name":"mabdula"},"message":"Used n-ary clause adders instead of manually contructing the clauses in addEqAuxVars","distinct":true,"url":"https://api.github.com/repos/mabdula/minisat/commits/69acffe2fe4c21efdde6d433ae6fed152e587bfd"},{"sha":"7053c3d51e6244a6996b884b100e24549484d99c","author":{"email":"57f0a9c1aa2ca4e101db4e00e21af90520c4aa89@gmail.com","name":"mabdula"},"message":"Cleaned up memory used in the perm parser","distinct":true,"url":"https://api.github.com/repos/mabdula/minisat/commits/7053c3d51e6244a6996b884b100e24549484d99c"}]}