{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":121131453,"defaultBranch":"master","name":"pysat","ownerLogin":"pysathq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-02-11T14:26:51.000Z","ownerAvatar":"https://github.com/avatars/u/38604566?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1640405444.527082","currentOid":""},"activityList":{"items":[{"before":"cd96f2841a4707d9bdd0114b4480f01736bf587b","after":"db89c1b88fd20eeef0da9fd5a677cab508cf9979","ref":"refs/heads/master","pushedAt":"2024-05-12T01:59:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Version description to the log.","shortMessageHtmlLink":"Version description to the log."}},{"before":"536ed761458421de524d0b5867108ef1ae4981de","after":"cd96f2841a4707d9bdd0114b4480f01736bf587b","ref":"refs/heads/master","pushedAt":"2024-05-12T01:42:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Bumped version.","shortMessageHtmlLink":"Bumped version."}},{"before":"97505cb7c3368b0d9d5ccfc508db2146406ef1a8","after":"536ed761458421de524d0b5867108ef1ae4981de","ref":"refs/heads/master","pushedAt":"2024-05-12T01:39:24.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Merge pull request #172 from brossignol/patch-8\n\nfix MUCX","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2287716537\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pysathq/pysat/issues/172\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pysathq/pysat/pull/172/hovercard\" href=\"https://github.com/pysathq/pysat/pull/172\">#172</a> from brossignol/patch-8"}},{"before":"7bbb8f32eaf2eb486d1c2cd0de1e0ca56de34968","after":"97505cb7c3368b0d9d5ccfc508db2146406ef1a8","ref":"refs/heads/master","pushedAt":"2024-04-18T10:25:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Minor tweaks in CNF formula updating.","shortMessageHtmlLink":"Minor tweaks in CNF formula updating."}},{"before":"212a8b82c2cbbb76ee4c8cb694757572233e4f02","after":"7bbb8f32eaf2eb486d1c2cd0de1e0ca56de34968","ref":"refs/heads/master","pushedAt":"2024-04-17T13:03:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Merge pull request #171 from ruancomelli/patch-1\n\ndocs(formula): fix rendering of the `Implies` class in the `pysat.formula` module docstring","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248208443\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pysathq/pysat/issues/171\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pysathq/pysat/pull/171/hovercard\" href=\"https://github.com/pysathq/pysat/pull/171\">#171</a> from ruancomelli/patch-1"}},{"before":"46f242ff5fdf2e0fd6d4b4fd5dc6289f56c93415","after":"212a8b82c2cbbb76ee4c8cb694757572233e4f02","ref":"refs/heads/master","pushedAt":"2024-04-17T13:01:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Fixed _compute_nv().","shortMessageHtmlLink":"Fixed _compute_nv()."}},{"before":"86a4871bb1b9434b44ec91a92a567ed638536468","after":"46f242ff5fdf2e0fd6d4b4fd5dc6289f56c93415","ref":"refs/heads/master","pushedAt":"2024-04-17T12:46:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Added a parameter to update vpool when adding clauses to CNF.","shortMessageHtmlLink":"Added a parameter to update vpool when adding clauses to CNF."}},{"before":"ef4281ecd1247a143a71e775fc9461f1f5d79b40","after":"86a4871bb1b9434b44ec91a92a567ed638536468","ref":"refs/heads/master","pushedAt":"2024-04-17T12:39:22.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Merge pull request #170 from brossignol/patch-7\n\nFix cleanup and CNF vpool updating","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248169111\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pysathq/pysat/issues/170\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pysathq/pysat/pull/170/hovercard\" href=\"https://github.com/pysathq/pysat/pull/170\">#170</a> from brossignol/patch-7"}},{"before":"7ff4be5a6436f4df6f2df8c66877c34dab4170e9","after":"ef4281ecd1247a143a71e775fc9461f1f5d79b40","ref":"refs/heads/master","pushedAt":"2024-04-17T12:06:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Bumped version.","shortMessageHtmlLink":"Bumped version."}},{"before":"2700e5808571677fcf6d451d211eb73b85479847","after":"7ff4be5a6436f4df6f2df8c66877c34dab4170e9","ref":"refs/heads/master","pushedAt":"2024-04-17T10:50:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Updated the test.","shortMessageHtmlLink":"Updated the test."}},{"before":"063054f2006dca60fa05d7cff4fe9eb6927417b3","after":"2700e5808571677fcf6d451d211eb73b85479847","ref":"refs/heads/master","pushedAt":"2024-04-17T01:56:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Fixed the issue of global constants.","shortMessageHtmlLink":"Fixed the issue of global constants."}},{"before":"9d22f3e55e6ec9129e684c44ec8a07f12479a2bb","after":"063054f2006dca60fa05d7cff4fe9eb6927417b3","ref":"refs/heads/master","pushedAt":"2024-04-17T01:42:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Merge pull request #167 from brossignol/patch-5\n\nProtect True and False Atom from .cleanup","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238796658\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pysathq/pysat/issues/167\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pysathq/pysat/pull/167/hovercard\" href=\"https://github.com/pysathq/pysat/pull/167\">#167</a> from brossignol/patch-5"}},{"before":"184dc476e313964217a6ff8ad210c72c00ef5320","after":"9d22f3e55e6ec9129e684c44ec8a07f12479a2bb","ref":"refs/heads/master","pushedAt":"2024-04-16T23:01:54.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Merge pull request #168 from brossignol/patch-6\n\nFix Neg clausify","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240398724\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pysathq/pysat/issues/168\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pysathq/pysat/pull/168/hovercard\" href=\"https://github.com/pysathq/pysat/pull/168\">#168</a> from brossignol/patch-6"}},{"before":"9f972c6528cdece7639763183f16e6db1025f996","after":"184dc476e313964217a6ff8ad210c72c00ef5320","ref":"refs/heads/master","pushedAt":"2024-04-10T22:51:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Bumped version.","shortMessageHtmlLink":"Bumped version."}},{"before":"be06a8a1e04d3cb53a8069db7fcf643f8109e397","after":"9f972c6528cdece7639763183f16e6db1025f996","ref":"refs/heads/master","pushedAt":"2024-04-10T22:33:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Merge pull request #166 from brossignol/patch-2\n\nfix XOr simplified","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2236437041\" data-permission-text=\"Title is private\" data-url=\"https://github.com/pysathq/pysat/issues/166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/pysathq/pysat/pull/166/hovercard\" href=\"https://github.com/pysathq/pysat/pull/166\">#166</a> from brossignol/patch-2"}},{"before":"ee7faae82ba8d735d7257d054bf64fc65f1d04b1","after":"be06a8a1e04d3cb53a8069db7fcf643f8109e397","ref":"refs/heads/master","pushedAt":"2024-04-07T06:24:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Fixed propagate() for CaDiCaL 1.9.5.","shortMessageHtmlLink":"Fixed propagate() for CaDiCaL 1.9.5."}},{"before":"906d9e305428ba404564cd5c444e6d5a5128716b","after":"ee7faae82ba8d735d7257d054bf64fc65f1d04b1","ref":"refs/heads/master","pushedAt":"2024-04-06T03:30:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Added support for CaDiCaL 1.9.5 in example scripts.","shortMessageHtmlLink":"Added support for CaDiCaL 1.9.5 in example scripts."}},{"before":"8359b40d628019971dd406c45af49964aa733dba","after":"906d9e305428ba404564cd5c444e6d5a5128716b","ref":"refs/heads/master","pushedAt":"2024-03-31T05:00:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Minor.","shortMessageHtmlLink":"Minor."}},{"before":"c81480f03dd89a18708b63e126b517789c7f1305","after":"8359b40d628019971dd406c45af49964aa733dba","ref":"refs/heads/master","pushedAt":"2024-03-31T04:54:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Fixed a minor bug in formula key flattening.","shortMessageHtmlLink":"Fixed a minor bug in formula key flattening."}},{"before":"22da7e1509cfeecec9b297571261c77a49288193","after":"c81480f03dd89a18708b63e126b517789c7f1305","ref":"refs/heads/master","pushedAt":"2024-03-27T04:52:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Fixed a couple of minor issues in the toolkit setup.","shortMessageHtmlLink":"Fixed a couple of minor issues in the toolkit setup."}},{"before":"9b9063cbdafd196b802464b90d77f5da3217896a","after":"22da7e1509cfeecec9b297571261c77a49288193","ref":"refs/heads/master","pushedAt":"2024-03-20T01:50:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Few a few issues in formula simplification.","shortMessageHtmlLink":"Few a few issues in formula simplification."}},{"before":"eacab701880e28144748ee79053e724f85ba32a8","after":"9b9063cbdafd196b802464b90d77f5da3217896a","ref":"refs/heads/master","pushedAt":"2024-03-18T05:44:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Minor fixes in the documentation.","shortMessageHtmlLink":"Minor fixes in the documentation."}},{"before":"092d9ea9adabf337ba2dc52c9795efe02163b3d4","after":"eacab701880e28144748ee79053e724f85ba32a8","ref":"refs/heads/master","pushedAt":"2024-03-17T08:09:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Updated the web.","shortMessageHtmlLink":"Updated the web."}},{"before":"d40a8a936cda1973ce3e8b3c8d59594e59cd1cfc","after":"092d9ea9adabf337ba2dc52c9795efe02163b3d4","ref":"refs/heads/master","pushedAt":"2024-03-17T07:26:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Fixing testing.","shortMessageHtmlLink":"Fixing testing."}},{"before":"500dca4e7f6223822a8a40041f0dd8a3dce01e3c","after":"d40a8a936cda1973ce3e8b3c8d59594e59cd1cfc","ref":"refs/heads/master","pushedAt":"2024-03-17T07:17:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Yet another attempt to fix Windows compilation.","shortMessageHtmlLink":"Yet another attempt to fix Windows compilation."}},{"before":"bffacc848e4e01d2b2c4668bef9681f4744f7d54","after":"500dca4e7f6223822a8a40041f0dd8a3dce01e3c","ref":"refs/heads/master","pushedAt":"2024-03-17T07:00:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Another attempt to fix Windows compilation.","shortMessageHtmlLink":"Another attempt to fix Windows compilation."}},{"before":"98060cfb28d116078fad906786c3ad94b0129861","after":"bffacc848e4e01d2b2c4668bef9681f4744f7d54","ref":"refs/heads/master","pushedAt":"2024-03-17T06:54:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Attempt to fix Windows compilation.","shortMessageHtmlLink":"Attempt to fix Windows compilation."}},{"before":"5c2ade46c70e0e028cca4562a65284f4a603079c","after":"98060cfb28d116078fad906786c3ad94b0129861","ref":"refs/heads/master","pushedAt":"2024-03-17T06:36:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Bumped version.","shortMessageHtmlLink":"Bumped version."}},{"before":"cc2f343734c4f5c17dd0164e8fb98433c9bce22b","after":"5c2ade46c70e0e028cca4562a65284f4a603079c","ref":"refs/heads/master","pushedAt":"2024-02-28T22:27:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Bumped version.","shortMessageHtmlLink":"Bumped version."}},{"before":"a733b58475910b475550f22340cf28723239d937","after":"cc2f343734c4f5c17dd0164e8fb98433c9bce22b","ref":"refs/heads/master","pushedAt":"2024-02-28T22:05:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alexeyignatiev","name":"Alexey Ignatiev","path":"/alexeyignatiev","primaryAvatarUrl":"https://github.com/avatars/u/2385202?s=80&v=4"},"commit":{"message":"Updated documentation.","shortMessageHtmlLink":"Updated documentation."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAER3qgmgA","startCursor":null,"endCursor":null}},"title":"Activity · pysathq/pysat"}