{"shas":[["6a685b022a065dc26a355da9b4987ba72fd1f4cf","0d1dbac56391dd18596a15f62ecda99012df80ff@gmail.com","Added support for minisat sat solver.","Andrej Vodopivec"]],"repo":"andrejv/discrete.mac","actor":"andrejv","ref":"refs/heads/master","size":1,"head":"6a685b022a065dc26a355da9b4987ba72fd1f4cf","actor_gravatar":"938f8c6033f03224c9e0b3b889d1c704","push_id":27932966}