{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":657363404,"defaultBranch":"main","name":"sat-generator","ownerLogin":"binary-banter","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-22T22:45:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/134508263?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704399767.0","currentOid":""},"activityList":{"items":[{"before":"7cf0f9c047e71fa21d34101ced375ba2dfd62cab","after":"c5e50ff256983ce388f2f79e1c149b1d6bb8f2e0","ref":"refs/heads/new-attempt","pushedAt":"2024-01-05T14:12:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"New solutions after symmetry breaking.","shortMessageHtmlLink":"New solutions after symmetry breaking."}},{"before":null,"after":"d29a4b49f187ed49a9d122603e4dd349dda0f57f","ref":"refs/heads/new-attempt-all2","pushedAt":"2024-01-04T20:22:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"New","shortMessageHtmlLink":"New"}},{"before":"d7995e74e1a12f869f5359b1e2f775d800d2ed04","after":"7cf0f9c047e71fa21d34101ced375ba2dfd62cab","ref":"refs/heads/new-attempt","pushedAt":"2024-01-04T18:39:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/new-attempt' into new-attempt","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/new-attempt' into new-attempt"}},{"before":"92086042fd3f41e454601dca8ff031936b2abf94","after":"d7995e74e1a12f869f5359b1e2f775d800d2ed04","ref":"refs/heads/new-attempt","pushedAt":"2024-01-04T18:16:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Revert \"Generate all cnfs\"\n\nThis reverts commit 92086042fd3f41e454601dca8ff031936b2abf94.","shortMessageHtmlLink":"Revert \"Generate all cnfs\""}},{"before":null,"after":"92086042fd3f41e454601dca8ff031936b2abf94","ref":"refs/heads/new-attempt-all","pushedAt":"2024-01-04T18:15:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Generate all cnfs","shortMessageHtmlLink":"Generate all cnfs"}},{"before":"6e1d201a989209ecfa50d708c1bb4602c70585aa","after":"92086042fd3f41e454601dca8ff031936b2abf94","ref":"refs/heads/new-attempt","pushedAt":"2024-01-04T18:09:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Generate all cnfs","shortMessageHtmlLink":"Generate all cnfs"}},{"before":"39324123b1e57333e5f9e43d0bd7e3ffdf9fd2d0","after":"6e1d201a989209ecfa50d708c1bb4602c70585aa","ref":"refs/heads/new-attempt","pushedAt":"2024-01-03T15:15:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Improved CNF encoding for `<=`.","shortMessageHtmlLink":"Improved CNF encoding for <code>&lt;=</code>."}},{"before":"31142f721556e7c3a9a9f6060fa4dd63191c7756","after":"39324123b1e57333e5f9e43d0bd7e3ffdf9fd2d0","ref":"refs/heads/new-attempt","pushedAt":"2024-01-03T12:12:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Improved CNF encoding for `<`.","shortMessageHtmlLink":"Improved CNF encoding for <code>&lt;</code>."}},{"before":"0ff89a0934fe247a61d1eaa6f1dc7b2f91c10a8f","after":"31142f721556e7c3a9a9f6060fa4dd63191c7756","ref":"refs/heads/new-attempt","pushedAt":"2024-01-03T10:32:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Cleanup.","shortMessageHtmlLink":"Cleanup."}},{"before":"ee5797a7f7be36084d1500c2fe42649216940512","after":"0ff89a0934fe247a61d1eaa6f1dc7b2f91c10a8f","ref":"refs/heads/new-attempt","pushedAt":"2024-01-03T10:28:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Include `8 8` solution.","shortMessageHtmlLink":"Include <code>8 8</code> solution."}},{"before":"f2355f500ae1e4b368048ba3513058f6ac8be4b7","after":"ee5797a7f7be36084d1500c2fe42649216940512","ref":"refs/heads/new-attempt","pushedAt":"2024-01-02T21:15:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Optimize exactly_once","shortMessageHtmlLink":"Optimize exactly_once"}},{"before":"57b14d6076dee14fbdd48b2c0745b527ea6aa83f","after":"f2355f500ae1e4b368048ba3513058f6ac8be4b7","ref":"refs/heads/new-attempt","pushedAt":"2024-01-02T16:43:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Include tests for SAT instances.","shortMessageHtmlLink":"Include tests for SAT instances."}},{"before":"ad7c2d865fafcca0ae54b1e5501f5b2cd36f1625","after":"57b14d6076dee14fbdd48b2c0745b527ea6aa83f","ref":"refs/heads/new-attempt","pushedAt":"2024-01-02T13:32:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Tail ordering.","shortMessageHtmlLink":"Tail ordering."}},{"before":"56563cc04b8f6c64832ab38f4745996f158a9688","after":"ad7c2d865fafcca0ae54b1e5501f5b2cd36f1625","ref":"refs/heads/new-attempt","pushedAt":"2024-01-01T13:41:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"More precise pruning.","shortMessageHtmlLink":"More precise pruning."}},{"before":"b13d565ddfc3c4f5ef38f7f82be3db370893c85d","after":"56563cc04b8f6c64832ab38f4745996f158a9688","ref":"refs/heads/new-attempt","pushedAt":"2024-01-01T13:10:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Fix Upper bound of loop.\nThe original made the prune less effective.","shortMessageHtmlLink":"Fix Upper bound of loop."}},{"before":"220a562dc1f5904ad942fe42204f3c3466e37cd7","after":"b13d565ddfc3c4f5ef38f7f82be3db370893c85d","ref":"refs/heads/new-attempt","pushedAt":"2024-01-01T07:12:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Ordering prune.","shortMessageHtmlLink":"Ordering prune."}},{"before":"74b2926eb15f132f0045f553b0b35891b2e2d799","after":"220a562dc1f5904ad942fe42204f3c3466e37cd7","ref":"refs/heads/new-attempt","pushedAt":"2024-01-01T06:02:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Improve resolve functionality.","shortMessageHtmlLink":"Improve resolve functionality."}},{"before":null,"after":"74b2926eb15f132f0045f553b0b35891b2e2d799","ref":"refs/heads/new-attempt","pushedAt":"2023-12-31T17:43:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Flip order.","shortMessageHtmlLink":"Flip order."}},{"before":"472dcd233db0d322158ac6f301f92def3caacbd8","after":"42fa2481bfde8bdedf2f21fe086c045ccb4c052b","ref":"refs/heads/main","pushedAt":"2023-06-26T12:48:45.200Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Change gol file name","shortMessageHtmlLink":"Change gol file name"}},{"before":"7aab1991649b40f8ccc686c356391c8f910fd2e5","after":"472dcd233db0d322158ac6f301f92def3caacbd8","ref":"refs/heads/main","pushedAt":"2023-06-26T12:45:01.663Z","pushType":"push","commitsCount":2,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Read counts from args","shortMessageHtmlLink":"Read counts from args"}},{"before":"3f1e85a80386fbc4303d52d963808ede6f697909","after":"7aab1991649b40f8ccc686c356391c8f910fd2e5","ref":"refs/heads/main","pushedAt":"2023-06-26T09:56:11.595Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"6,6","shortMessageHtmlLink":"6,6"}},{"before":"9be93f37010b8b5e3ca027e6209caf0ac1297209","after":"3f1e85a80386fbc4303d52d963808ede6f697909","ref":"refs/heads/main","pushedAt":"2023-06-26T09:51:53.461Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Symmetry","shortMessageHtmlLink":"Symmetry"}},{"before":"ecff57d1e24436756b7256dca9a628a51f87a6a8","after":"9be93f37010b8b5e3ca027e6209caf0ac1297209","ref":"refs/heads/main","pushedAt":"2023-06-26T09:49:02.293Z","pushType":"push","commitsCount":1,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Run 9,9","shortMessageHtmlLink":"Run 9,9"}},{"before":"8c55d1c69c44432ad34a2be47782bd537a86b233","after":"ecff57d1e24436756b7256dca9a628a51f87a6a8","ref":"refs/heads/main","pushedAt":"2023-06-24T15:51:09.940Z","pushType":"push","commitsCount":1,"pusher":{"login":"Vlamonster","name":"Julia","path":"/Vlamonster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/78276563?s=80&v=4"},"commit":{"message":"Exactly one requirement added for connections.","shortMessageHtmlLink":"Exactly one requirement added for connections."}},{"before":null,"after":"8c55d1c69c44432ad34a2be47782bd537a86b233","ref":"refs/heads/main","pushedAt":"2023-06-22T22:45:25.757Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JonathanBrouwer","name":"Jonathan Brouwer","path":"/JonathanBrouwer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7071132?s=80&v=4"},"commit":{"message":"Faster thanks to Julia!","shortMessageHtmlLink":"Faster thanks to Julia!"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD2J7PswA","startCursor":null,"endCursor":null}},"title":"Activity · binary-banter/sat-generator"}