{"push_id":594676278,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b40ca4336c7e8977afcbcca705139e84a1e9405b","before":"7db57195a04ecd9871b76e3f654dd040247a0b4f","commits":[{"sha":"b40ca4336c7e8977afcbcca705139e84a1e9405b","author":{"email":"2caa53a44c576cab6ce3de86f39a251815cffa9e@galois.com","name":"Nathan Collins"},"message":"Add 'writeCNF' to 'IsAIG' class.\n\nSome SAW code which tries to be abstract in the AIG implementation,\nby using 'IsAIG', wants to write CNFs.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/aig/commits/b40ca4336c7e8977afcbcca705139e84a1e9405b"}]}