{"push_id":2417284931,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6c4a212cc0f204c3caba77f54fd80dae5c669332","before":"1219a888a7ae6f5fb455fc3ce0b294b5b368ccc6","commits":[{"sha":"6c4a212cc0f204c3caba77f54fd80dae5c669332","author":{"name":"Marco Breemhaar","email":"dd47e2e21f7c8bb8e5d51306043cf8709c6008fb@gmail.com"},"message":"Changed dependencies to use only Sat4j\n\nBased on the advice I got to make a lower level system which does not use Tweety’s libraries, I removed that from the dependencies and added Sat4j to still be able to use its satisfiability solver.","distinct":true,"url":"https://api.github.com/repos/mbreemhaar/extensioncalculator/commits/6c4a212cc0f204c3caba77f54fd80dae5c669332"}]}
{"actor":{"display_login":"mbreemhaar"}}