{"push_id":553565826,"size":1,"distinct_size":1,"ref":"refs/heads/horn","head":"172cf28126dd56f19b9eb9926365b5ab68823a56","before":"096387ad1ef1eb9ad0098f029d1c4f86d6f5aa56","commits":[{"sha":"172cf28126dd56f19b9eb9926365b5ab68823a56","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"Alain Mebsout"},"message":"Output counterexamples for Horn clauses.","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/172cf28126dd56f19b9eb9926365b5ab68823a56"}]}