{"push_id":758942886,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"44d256318524418d9d6d230d074a0701f4ec2897","before":"df7d044ea8e93e0b6391fc849e47cfa3a6de2872","commits":[{"sha":"44d256318524418d9d6d230d074a0701f4ec2897","author":{"email":"8d48a408e9de05c3de2551b9a896accea88a2f97@altsci.com","name":"Javantea"},"message":"Optimization in Cnf solves the problem of huge redundancy in:\n\nimport satispy\na = satispy.Variable('a')\nb = satispy.Variable('b')\nc = satispy.Variable('c')\ne = satispy.Variable('e')\nd = -((((a ^ b) & c) ^ a) ^ e)\n\nThis code will blow up in memory very quickly. It does not with the fix. The\nfunction reduceCnf describes what it does.\n\nThe class NaiveCnf preserves the previous functionality for testing and strange uses.","distinct":true,"url":"https://api.github.com/repos/Javantea/satispy/commits/44d256318524418d9d6d230d074a0701f4ec2897"}]}