{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":281446854,"defaultBranch":"master","name":"DisjunctiveProgramming.jl","ownerLogin":"hdavid16","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-07-21T16:18:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9156129?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716209614.0","currentOid":""},"activityList":{"items":[{"before":"fad7bbe9e2a0d4a17c9810533b158e16a39dc2b5","after":"94a5b550a6515fc503414dff42c42d899e41445e","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T14:15:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on bcc29c8","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/bcc29c83c6c5502e9761f5b8958d89a71601e1a4/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/bcc29c83c6c5502e9761f5b8958d89a71601e1a4\"><tt>bcc29c8</tt></a>"}},{"before":"153ef0fe13b47ad046ada97d2ca182e953ba91e9","after":"bcc29c83c6c5502e9761f5b8958d89a71601e1a4","ref":"refs/heads/master","pushedAt":"2024-05-20T14:12:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"remove intermediate latex stuff from git","shortMessageHtmlLink":"remove intermediate latex stuff from git"}},{"before":"14f5ffd4e7b745ae6db52e8105f82b86cdc5577e","after":"fad7bbe9e2a0d4a17c9810533b158e16a39dc2b5","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T14:07:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on 153ef0f","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/153ef0fe13b47ad046ada97d2ca182e953ba91e9/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/153ef0fe13b47ad046ada97d2ca182e953ba91e9\"><tt>153ef0f</tt></a>"}},{"before":"f8ce0bc50755d50be86c8276244da0f002baa3db","after":"153ef0fe13b47ad046ada97d2ca182e953ba91e9","ref":"refs/heads/master","pushedAt":"2024-05-20T14:04:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"clean","shortMessageHtmlLink":"clean"}},{"before":"7621abc2b3f077e26c8fc854efd94bdb0638ca23","after":"14f5ffd4e7b745ae6db52e8105f82b86cdc5577e","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T14:04:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on f8ce0bc","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/f8ce0bc50755d50be86c8276244da0f002baa3db/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/f8ce0bc50755d50be86c8276244da0f002baa3db\"><tt>f8ce0bc</tt></a>"}},{"before":"96aa8f50129d872caf0fd93f02812d1d00678fb4","after":"f8ce0bc50755d50be86c8276244da0f002baa3db","ref":"refs/heads/master","pushedAt":"2024-05-20T14:01:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"fix readmes; clean repo","shortMessageHtmlLink":"fix readmes; clean repo"}},{"before":"4c3ed6979748a6bed683a2e5b2612da82b11fc97","after":"7621abc2b3f077e26c8fc854efd94bdb0638ca23","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T13:18:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on 96aa8f5","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/96aa8f50129d872caf0fd93f02812d1d00678fb4/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/96aa8f50129d872caf0fd93f02812d1d00678fb4\"><tt>96aa8f5</tt></a>"}},{"before":"08bf9416bf9ad8b1e49030295aed71476cbd54d3","after":"96aa8f50129d872caf0fd93f02812d1d00678fb4","ref":"refs/heads/master","pushedAt":"2024-05-20T13:16:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Update readme/docs to clearly point to GDP references","shortMessageHtmlLink":"Update readme/docs to clearly point to GDP references"}},{"before":"a06deea31162120bafc00d8b30f40958a02f8683","after":"4c3ed6979748a6bed683a2e5b2612da82b11fc97","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T12:56:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on 08bf941","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/08bf9416bf9ad8b1e49030295aed71476cbd54d3/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/08bf9416bf9ad8b1e49030295aed71476cbd54d3\"><tt>08bf941</tt></a>"}},{"before":"21fe77d012c553d2871ca6f6684344534e6132ca","after":null,"ref":"refs/heads/fix-printing-empty-disjunct","pushedAt":"2024-05-20T12:53:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"}},{"before":"34066454b27d9d818cbc9032cf139738ec683417","after":"08bf9416bf9ad8b1e49030295aed71476cbd54d3","ref":"refs/heads/master","pushedAt":"2024-05-20T12:53:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Fix printing empty disjuncts (#117)\n\n* return empty disjunct if no mapping found\r\n\r\n* add test; clean other tests","shortMessageHtmlLink":"Fix printing empty disjuncts (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2305873114\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/issues/117\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hdavid16/DisjunctiveProgramming.jl/pull/117/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/117\">#117</a>)"}},{"before":null,"after":"21fe77d012c553d2871ca6f6684344534e6132ca","ref":"refs/heads/fix-printing-empty-disjunct","pushedAt":"2024-05-20T12:18:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"fix test","shortMessageHtmlLink":"fix test"}},{"before":"06a0b4fb463b29c50edaebadfc6fe207972c5d35","after":"3786845e09b34520c3110c254acea8a195466cc5","ref":"refs/heads/infiniteopt_ext","pushedAt":"2024-03-14T21:10:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pulsipher","name":"Joshua Pulsipher","path":"/pulsipher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33848311?s=80&v=4"},"commit":{"message":"fix extension versioning","shortMessageHtmlLink":"fix extension versioning"}},{"before":"ebf603c7ae31efd02ff3bf45a3872c07cf94db52","after":"06a0b4fb463b29c50edaebadfc6fe207972c5d35","ref":"refs/heads/infiniteopt_ext","pushedAt":"2024-03-14T19:17:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pulsipher","name":"Joshua Pulsipher","path":"/pulsipher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33848311?s=80&v=4"},"commit":{"message":"add pkg","shortMessageHtmlLink":"add pkg"}},{"before":"15803def10ad29c31ca312fcdcfec6919b7eea0d","after":"ebf603c7ae31efd02ff3bf45a3872c07cf94db52","ref":"refs/heads/infiniteopt_ext","pushedAt":"2024-03-14T16:32:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pulsipher","name":"Joshua Pulsipher","path":"/pulsipher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33848311?s=80&v=4"},"commit":{"message":"Update tests","shortMessageHtmlLink":"Update tests"}},{"before":null,"after":"15803def10ad29c31ca312fcdcfec6919b7eea0d","ref":"refs/heads/infiniteopt_ext","pushedAt":"2024-03-14T16:21:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pulsipher","name":"Joshua Pulsipher","path":"/pulsipher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33848311?s=80&v=4"},"commit":{"message":"Add InfiniteOpt as an extension","shortMessageHtmlLink":"Add InfiniteOpt as an extension"}},{"before":"62d2d72370d6e140b93dd6fd8e486b1a9b922328","after":"a06deea31162120bafc00d8b30f40958a02f8683","ref":"refs/heads/gh-pages","pushedAt":"2024-02-08T20:45:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on 3406645","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/34066454b27d9d818cbc9032cf139738ec683417/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/34066454b27d9d818cbc9032cf139738ec683417\"><tt>3406645</tt></a>"}},{"before":"0dcc1e93f863a51549f930dad3c89168616558e1","after":"62d2d72370d6e140b93dd6fd8e486b1a9b922328","ref":"refs/heads/gh-pages","pushedAt":"2024-02-08T20:44:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on fc4c5eb","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/fc4c5ebe2b29790671759c2ebbabf9367c8f35cd/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/fc4c5ebe2b29790671759c2ebbabf9367c8f35cd\"><tt>fc4c5eb</tt></a>"}},{"before":"fc4c5ebe2b29790671759c2ebbabf9367c8f35cd","after":"34066454b27d9d818cbc9032cf139738ec683417","ref":"refs/heads/master","pushedAt":"2024-02-08T20:42:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Merge pull request #111 from hdavid16/update-logical-constraint-docs\n\nupdate proposition docs to include splatting","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2123314106\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/issues/111\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hdavid16/DisjunctiveProgramming.jl/pull/111/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/111\">#111</a> from hdavid16/update-logical-constraint-docs"}},{"before":"eb1ce6cbaea21f857dfa4a9f2cb10eb692090e9d","after":"fc4c5ebe2b29790671759c2ebbabf9367c8f35cd","ref":"refs/heads/master","pushedAt":"2024-02-08T20:42:22.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Merge pull request #109 from hdavid16/integer_vars_in_disjunct\n\nSupport disjunct constraints with integer variables","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2088979992\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/issues/109\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hdavid16/DisjunctiveProgramming.jl/pull/109/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/109\">#109</a> from hdavid16/integer_vars_in_disjunct"}},{"before":null,"after":"0523ae2f60be4d443bc71495f67c603398ad9cf7","ref":"refs/heads/update-logical-constraint-docs","pushedAt":"2024-02-07T15:38:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"update proposition docs to include splatting","shortMessageHtmlLink":"update proposition docs to include splatting"}},{"before":"27a509978042ae96743b0f3c3e7be4ded9aa4bc7","after":"03f36532b4bcc663ecda82871f51f877a2b22ccc","ref":"refs/heads/integer_vars_in_disjunct","pushedAt":"2024-02-07T15:15:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"update error message","shortMessageHtmlLink":"update error message"}},{"before":"f46155afbe982f7966741db7cdc2082090f172c7","after":"0dcc1e93f863a51549f930dad3c89168616558e1","ref":"refs/heads/gh-pages","pushedAt":"2024-02-07T15:10:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on eb1ce6c","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/eb1ce6cbaea21f857dfa4a9f2cb10eb692090e9d/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/eb1ce6cbaea21f857dfa4a9f2cb10eb692090e9d\"><tt>eb1ce6c</tt></a>"}},{"before":"404d431df4a014c1c884dfbe91fc1573f5ef35c8","after":"27a509978042ae96743b0f3c3e7be4ded9aa4bc7","ref":"refs/heads/integer_vars_in_disjunct","pushedAt":"2024-02-07T15:09:40.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Merge branch 'master' into integer_vars_in_disjunct","shortMessageHtmlLink":"Merge branch 'master' into integer_vars_in_disjunct"}},{"before":"9ab25ae89bc4e0a817930920ad0c5389650b473f","after":"eb1ce6cbaea21f857dfa4a9f2cb10eb692090e9d","ref":"refs/heads/master","pushedAt":"2024-02-07T15:08:20.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Merge pull request #110 from hdavid16/jump_update\n\nUpdate Macro and Printing with JuMP 1.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2112900938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/issues/110\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hdavid16/DisjunctiveProgramming.jl/pull/110/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/110\">#110</a> from hdavid16/jump_update"}},{"before":"07bc16281a6053944b649690b5849cd8ba27696f","after":"ca2ae98350a35d00c67922284b3332ada4436117","ref":"refs/heads/jump_update","pushedAt":"2024-02-01T16:42:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pulsipher","name":"Joshua Pulsipher","path":"/pulsipher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33848311?s=80&v=4"},"commit":{"message":"coverage fixes","shortMessageHtmlLink":"coverage fixes"}},{"before":null,"after":"07bc16281a6053944b649690b5849cd8ba27696f","ref":"refs/heads/jump_update","pushedAt":"2024-02-01T16:18:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pulsipher","name":"Joshua Pulsipher","path":"/pulsipher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33848311?s=80&v=4"},"commit":{"message":"Update with JuMP","shortMessageHtmlLink":"Update with JuMP"}},{"before":null,"after":"404d431df4a014c1c884dfbe91fc1573f5ef35c8","ref":"refs/heads/integer_vars_in_disjunct","pushedAt":"2024-01-18T20:10:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"add test for adding disjunct constraint with integer var","shortMessageHtmlLink":"add test for adding disjunct constraint with integer var"}},{"before":"da5b849fd6adb6f4eefaf9be5b867a6c9453c736","after":"f46155afbe982f7966741db7cdc2082090f172c7","ref":"refs/heads/gh-pages","pushedAt":"2023-12-11T23:51:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"build based on 9ab25ae","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/9ab25ae89bc4e0a817930920ad0c5389650b473f/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/commit/9ab25ae89bc4e0a817930920ad0c5389650b473f\"><tt>9ab25ae</tt></a>"}},{"before":"6a4d0ac4a7484e52b1dbff9cee310a73d2d23e81","after":"9ab25ae89bc4e0a817930920ad0c5389650b473f","ref":"refs/heads/master","pushedAt":"2023-12-11T23:47:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hdavid16","name":"Hector Perez","path":"/hdavid16","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9156129?s=80&v=4"},"commit":{"message":"Merge pull request #104 from hdavid16/update-paper\n\nupdate equations to align* blocks","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2036724999\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/issues/104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hdavid16/DisjunctiveProgramming.jl/pull/104/hovercard\" href=\"https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/104\">#104</a> from hdavid16/update-paper"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETt7LJQA","startCursor":null,"endCursor":null}},"title":"Activity · hdavid16/DisjunctiveProgramming.jl"}