{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":628745606,"defaultBranch":"main","name":"Satisfiability.jl","ownerLogin":"elsoroka","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-16T21:58:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14230800?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716488122.0","currentOid":""},"activityList":{"items":[{"before":"1f564a5a9e37eb35832340598c13c6e2f2e6c252","after":"d67f6d0bd285d0f3d689615fb4725596aba2ed22","ref":"refs/heads/gh-pages","pushedAt":"2024-05-23T18:18:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on dd89b1b","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/dd89b1b8cd6b1d2f51cc3d67e96c12e14422ec06/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/dd89b1b8cd6b1d2f51cc3d67e96c12e14422ec06\"><tt>dd89b1b</tt></a>"}},{"before":"51337b331c428f69f9e899e344e2a934399a200c","after":null,"ref":"refs/heads/download-z3","pushedAt":"2024-05-23T18:15:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"}},{"before":"1ca92f697868aa76f258a1f2d05754a83c2b0571","after":"dd89b1b8cd6b1d2f51cc3d67e96c12e14422ec06","ref":"refs/heads/main","pushedAt":"2024-05-23T18:15:16.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #43 from elsoroka/download-z3\n\nAutomatically download Z3 if not already installed","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313311669\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/43/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/43\">#43</a> from elsoroka/download-z3"}},{"before":"2ca0b80f6ae414d903618182fa22004caf8aebaf","after":"51337b331c428f69f9e899e344e2a934399a200c","ref":"refs/heads/download-z3","pushedAt":"2024-05-23T16:05:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"while we're at it, fix issue #42, undefined n variable in README example","shortMessageHtmlLink":"while we're at it, fix issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304446506\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/42\" data-hovercard-type=\"issue\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/issues/42/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/issues/42\">#42</a>, undefined n variable in README example"}},{"before":null,"after":"2ca0b80f6ae414d903618182fa22004caf8aebaf","ref":"refs/heads/download-z3","pushedAt":"2024-05-23T16:05:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"@Mykel suggested this change to automatically download z3 if it's not\nalready installed.","shortMessageHtmlLink":"<a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/mykel/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/mykel\">@mykel</a> suggested this change to automatically download z3 if it's not"}},{"before":"5109f252f32e1a514a58c6ce3a8065a0b5ded757","after":"1f564a5a9e37eb35832340598c13c6e2f2e6c252","ref":"refs/heads/gh-pages","pushedAt":"2024-05-07T23:20:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on 1ca92f6","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/1ca92f697868aa76f258a1f2d05754a83c2b0571/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/1ca92f697868aa76f258a1f2d05754a83c2b0571\"><tt>1ca92f6</tt></a>"}},{"before":"56b7ffa10117581b553d3688f6d4f931285c5d71","after":null,"ref":"refs/heads/dependabot/github_actions/julia-actions/cache-2","pushedAt":"2024-05-07T23:18:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"}},{"before":"a9868c7bf5f20c3c0a21da1d5bb512eff7328a28","after":"1ca92f697868aa76f258a1f2d05754a83c2b0571","ref":"refs/heads/main","pushedAt":"2024-05-07T23:18:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #41 from elsoroka/dependabot/github_actions/julia-actions/cache-2\n\nBump julia-actions/cache from 1 to 2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2279959100\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/41/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/41\">#41</a> from elsoroka/dependabot/github_actions/julia-…"}},{"before":null,"after":"56b7ffa10117581b553d3688f6d4f931285c5d71","ref":"refs/heads/dependabot/github_actions/julia-actions/cache-2","pushedAt":"2024-05-06T03:42:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump julia-actions/cache from 1 to 2\n\nBumps [julia-actions/cache](https://github.com/julia-actions/cache) from 1 to 2.\n- [Release notes](https://github.com/julia-actions/cache/releases)\n- [Commits](https://github.com/julia-actions/cache/compare/v1...v2)\n\n---\nupdated-dependencies:\n- dependency-name: julia-actions/cache\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump julia-actions/cache from 1 to 2"}},{"before":"9fdc044c1fb994de1fcef8c62ee26bd8be0a0326","after":"1461423ed30ac9aef390cd22d37160fdc395ee31","ref":"refs/heads/cnf-example","pushedAt":"2024-04-22T02:07:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"another improvement","shortMessageHtmlLink":"another improvement"}},{"before":null,"after":"9fdc044c1fb994de1fcef8c62ee26bd8be0a0326","ref":"refs/heads/cnf-example","pushedAt":"2024-04-22T01:45:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"An example I thought of while working on another project. We use Z3 to\nconvert a formula to CNF and some metaprogramming tricks\nto get it back into its Satisfiability.jl form.","shortMessageHtmlLink":"An example I thought of while working on another project. We use Z3 to"}},{"before":"86cc521dd1252bc319ac72b70608cabececffb2f","after":"e293d9bc956273beb35c513176e28b57e4e78d12","ref":"refs/heads/joss-paper","pushedAt":"2024-03-29T19:29:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"fix missing dois","shortMessageHtmlLink":"fix missing dois"}},{"before":"b42b4e64e6633e6e6cb288bd4055f40775c04f33","after":"86cc521dd1252bc319ac72b70608cabececffb2f","ref":"refs/heads/joss-paper","pushedAt":"2024-03-27T16:43:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"FORGOT the bibfile","shortMessageHtmlLink":"FORGOT the bibfile"}},{"before":null,"after":"b42b4e64e6633e6e6cb288bd4055f40775c04f33","ref":"refs/heads/joss-paper","pushedAt":"2024-03-27T16:42:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Open Journals PDF generator","shortMessageHtmlLink":"Open Journals PDF generator"}},{"before":"fad1b4d2c7ecbbd6cd4f48c3d13231d1e19e5f92","after":"5109f252f32e1a514a58c6ce3a8065a0b5ded757","ref":"refs/heads/gh-pages","pushedAt":"2024-03-12T18:47:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"build based on a9868c7","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/elsoroka/Satisfiability.jl/commit/a9868c7bf5f20c3c0a21da1d5bb512eff7328a28/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/commit/a9868c7bf5f20c3c0a21da1d5bb512eff7328a28\"><tt>a9868c7</tt></a>"}},{"before":"456eeb0a48397d9df891a3c930ea5e9b6be28693","after":"a9868c7bf5f20c3c0a21da1d5bb512eff7328a28","ref":"refs/heads/main","pushedAt":"2024-03-12T18:45:35.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #39 from elsoroka/dev\n\nFix the Docs build issue","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2182433489\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/39/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/39\">#39</a> from elsoroka/dev"}},{"before":"ddd13278ce7f84e2226b82806c64aeb89007a8db","after":"4cda91b4723d82cc0d93e1f33d8c6e6fc7e883a7","ref":"refs/heads/dev","pushedAt":"2024-03-12T18:43:17.000Z","pushType":"push","commitsCount":28,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge branch 'main' into dev","shortMessageHtmlLink":"Merge branch 'main' into dev"}},{"before":"c36cea6a33ec440cd804f54ccf87317886baecad","after":"ddd13278ce7f84e2226b82806c64aeb89007a8db","ref":"refs/heads/dev","pushedAt":"2024-03-12T18:37:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"add julia-actions/cache to speed up jobs","shortMessageHtmlLink":"add julia-actions/cache to speed up jobs"}},{"before":"2afff16aab144bbdbf6d7a477edb87a83690450e","after":"c36cea6a33ec440cd804f54ccf87317886baecad","ref":"refs/heads/dev","pushedAt":"2024-03-12T18:30:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"avoid using cvc5 in Docs examples because the developers changed how the\nsoftware is distributed and broke my previous method of installing it on\nthe GitHub Actions servers.","shortMessageHtmlLink":"avoid using cvc5 in Docs examples because the developers changed how the"}},{"before":"78fce66eba432dc2751b01f6b26f89da1b92e70f","after":"2afff16aab144bbdbf6d7a477edb87a83690450e","ref":"refs/heads/dev","pushedAt":"2024-03-12T17:52:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"adding back the solver installation because it disappeared?","shortMessageHtmlLink":"adding back the solver installation because it disappeared?"}},{"before":"c261030dcc039141bb0449cc7986a5cf558b8e5e","after":"78fce66eba432dc2751b01f6b26f89da1b92e70f","ref":"refs/heads/dev","pushedAt":"2024-03-12T17:46:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"still working on this issue","shortMessageHtmlLink":"still working on this issue"}},{"before":"8790caf175025c1c3d945983decd50fe809e04cf","after":"456eeb0a48397d9df891a3c930ea5e9b6be28693","ref":"refs/heads/main","pushedAt":"2024-03-12T17:10:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #38 from elsoroka/dev\n\ninvestigating docs build issue","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2182189503\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/38/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/38\">#38</a> from elsoroka/dev"}},{"before":"83b5f750cf730a33953cae6dc3d4861dcd375c19","after":"c261030dcc039141bb0449cc7986a5cf558b8e5e","ref":"refs/heads/dev","pushedAt":"2024-03-12T16:56:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"allow running workflows manually for testing","shortMessageHtmlLink":"allow running workflows manually for testing"}},{"before":"b95ccfade7dcb68792d55b5ade75290ba38bd49b","after":"83b5f750cf730a33953cae6dc3d4861dcd375c19","ref":"refs/heads/dev","pushedAt":"2024-03-12T16:49:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"investigating docs build issue","shortMessageHtmlLink":"investigating docs build issue"}},{"before":"ffc518834169b9e39183a2a99b1070c6b0fa2536","after":null,"ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-4","pushedAt":"2024-03-11T23:20:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"}},{"before":"49eacbc857096307a4fd13947d78063f3407375d","after":"8790caf175025c1c3d945983decd50fe809e04cf","ref":"refs/heads/main","pushedAt":"2024-03-11T23:20:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #35 from elsoroka/dependabot/github_actions/codecov/codecov-action-4\n\nBump codecov/codecov-action from 3 to 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2180421367\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/35/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/35\">#35</a> from elsoroka/dependabot/github_actions/codeco…"}},{"before":"bffb9356a456ccd950fda3e2ca64ef02403acc26","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-03-11T23:20:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"70559ef805cfa2277952e87e15bef914b9dfeb76","after":"49eacbc857096307a4fd13947d78063f3407375d","ref":"refs/heads/main","pushedAt":"2024-03-11T23:20:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"elsoroka","name":"Emiko Soroka","path":"/elsoroka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14230800?s=80&v=4"},"commit":{"message":"Merge pull request #36 from elsoroka/dependabot/github_actions/actions/checkout-4\n\nBump actions/checkout from 3 to 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2180421461\" data-permission-text=\"Title is private\" data-url=\"https://github.com/elsoroka/Satisfiability.jl/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/elsoroka/Satisfiability.jl/pull/36/hovercard\" href=\"https://github.com/elsoroka/Satisfiability.jl/pull/36\">#36</a> from elsoroka/dependabot/github_actions/action…"}},{"before":null,"after":"bffb9356a456ccd950fda3e2ca64ef02403acc26","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-03-11T23:13:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 3 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4"}},{"before":null,"after":"ffc518834169b9e39183a2a99b1070c6b0fa2536","ref":"refs/heads/dependabot/github_actions/codecov/codecov-action-4","pushedAt":"2024-03-11T23:13:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump codecov/codecov-action from 3 to 4\n\nBumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 3 to 4.\n- [Release notes](https://github.com/codecov/codecov-action/releases)\n- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/codecov/codecov-action/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: codecov/codecov-action\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump codecov/codecov-action from 3 to 4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUlPumwA","startCursor":null,"endCursor":null}},"title":"Activity · elsoroka/Satisfiability.jl"}