{"push_id":873480102,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"581db1f96130da6e9937e2a68e3ccd9e2d7d37dc","before":"366df7e20a3fed126a0ae93a72a13a787a4f71af","commits":[{"sha":"91801f95d86cc87440a269801f7f74467971314d","author":{"email":"282850e7f2405e201b5786212282855bcd58bbc3@gmail.com","name":"Abdallatif"},"message":"Stack\n\nAdd a stack data structure for decision levels","distinct":true,"url":"https://api.github.com/repos/Abdallatif/BackTrackSearch/commits/91801f95d86cc87440a269801f7f74467971314d"},{"sha":"581db1f96130da6e9937e2a68e3ccd9e2d7d37dc","author":{"email":"282850e7f2405e201b5786212282855bcd58bbc3@gmail.com","name":"Abdallatif"},"message":"clauses tags\n\nadd #of undef vars in each clause\nadd the status of each clause\nto the formula structre","distinct":true,"url":"https://api.github.com/repos/Abdallatif/BackTrackSearch/commits/581db1f96130da6e9937e2a68e3ccd9e2d7d37dc"}]}