| route-pattern | /:user_id/:repository/issues(.:format) |
| route-controller | issues |
| route-action | index |
| fetch-nonce | v2:0733eb02-4aee-3a0b-f199-bc93b6510b33 |
| current-catalog-service-hash | 81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114 |
| request-id | 99FA:316D26:28E3E0A:3ACA2B8:6A4D205D |
| html-safe-nonce | 35dc77aad09a185fab5a6ebee86a5733dab931956e3dd9909e3ff90a59b766fb |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5OUZBOjMxNkQyNjoyOEUzRTBBOjNBQ0EyQjg6NkE0RDIwNUQiLCJ2aXNpdG9yX2lkIjoiOTUxMDI0MTEzMjM2NjQ4MDI5IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 48dea968d95aab000ef8d7ca439a35a0e3fe3d556f916d1bf441ec4bd68a7558 |
| hovercard-subject-tag | repository:45666766 |
| github-keyboard-shortcuts | repository,issues,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///issues/index |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/Gecode/gecode/issues |
| twitter:image | https://opengraph.githubassets.com/a6ec57db4af2de467abc311bd9b8bf695c6cdfc17abc2655530175044cd91b75/Gecode/gecode |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/a6ec57db4af2de467abc311bd9b8bf695c6cdfc17abc2655530175044cd91b75/Gecode/gecode |
| og:image:alt | Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub. |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 92571a8944142227b7e19cd10918b1ddd06e5066c1ad5bc7e4769cf6140a87e6 |
| turbo-cache-control | no-cache |
| go-import | github.com/Gecode/gecode git https://github.com/Gecode/gecode.git |
| octolytics-dimension-user_id | 14131143 |
| octolytics-dimension-user_login | Gecode |
| octolytics-dimension-repository_id | 45666766 |
| octolytics-dimension-repository_nwo | Gecode/gecode |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 45666766 |
| octolytics-dimension-repository_network_root_nwo | Gecode/gecode |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 93f17a978ee60bc4668e1d7b90e6bd2d622261fd |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://github.com/Gecode/gecode/issues#start-of-content |
|
| https://github.com/ |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FGecode%2Fgecode%2Fissues |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub Copilot appDirect agents from issue to merge | https://github.com/features/ai/github-app |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| View all resources | https://github.com/resources |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| GitHub Stars | https://stars.github.com |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FGecode%2Fgecode%2Fissues |
|
Sign up
| https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fissues%2Findex&source=header-repo&source_repo=Gecode%2Fgecode |
| Reload | https://github.com/Gecode/gecode/issues |
| Reload | https://github.com/Gecode/gecode/issues |
| Reload | https://github.com/Gecode/gecode/issues |
| Please reload this page | https://github.com/Gecode/gecode/issues |
|
Gecode
| https://github.com/Gecode |
| gecode | https://github.com/Gecode/gecode |
|
Notifications
| https://github.com/login?return_to=%2FGecode%2Fgecode |
|
Fork
86
| https://github.com/login?return_to=%2FGecode%2Fgecode |
|
Star
330
| https://github.com/login?return_to=%2FGecode%2Fgecode |
|
Code
| https://github.com/Gecode/gecode |
|
Issues
42
| https://github.com/Gecode/gecode/issues |
|
Pull requests
5
| https://github.com/Gecode/gecode/pulls |
|
Discussions
| https://github.com/Gecode/gecode/discussions |
|
Actions
| https://github.com/Gecode/gecode/actions |
|
Projects
| https://github.com/Gecode/gecode/projects |
|
Security and quality
0
| https://github.com/Gecode/gecode/security |
|
Insights
| https://github.com/Gecode/gecode/pulse |
|
Code
| https://github.com/Gecode/gecode |
|
Issues
| https://github.com/Gecode/gecode/issues |
|
Pull requests
| https://github.com/Gecode/gecode/pulls |
|
Discussions
| https://github.com/Gecode/gecode/discussions |
|
Actions
| https://github.com/Gecode/gecode/actions |
|
Projects
| https://github.com/Gecode/gecode/projects |
|
Security and quality
| https://github.com/Gecode/gecode/security |
|
Insights
| https://github.com/Gecode/gecode/pulse |
| Issues | https://github.com/Gecode/gecode/issues?q=is%3Aissue+state%3Aopen |
| Assigned to me | https://github.com/Gecode/gecode/issues?q=is%3Aissue+state%3Aopen+assignee%3A%40me |
| Created by me | https://github.com/Gecode/gecode/issues?q=is%3Aissue+state%3Aopen+author%3A%40me |
| Mentioned | https://github.com/Gecode/gecode/issues?q=is%3Aissue+state%3Aopen+mentions%3A%40me |
| Recent activity | https://github.com/Gecode/gecode/issues?q=is%3Aissue+updated%3A%3E%40today-1w+sort%3Aupdated-desc |
| Views | https://github.com/Gecode/gecode/issues/views |
| Projects | https://github.com/Gecode/gecode/projects |
| Milestones | https://github.com/Gecode/gecode/milestones |
| Labels | https://github.com/Gecode/gecode/labels |
| FeedbackPreview | https://gh.io/issues-sidebar-feedback |
| Labels | https://github.com/Gecode/gecode/labels |
| Milestones | https://github.com/Gecode/gecode/milestones |
| Open | https://github.com/Gecode/gecode/issues |
| Closed | https://github.com/Gecode/gecode/issues |
| Is 6.3.0 stable? | https://github.com/Gecode/gecode/issues/215 |
| daeho-ro | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Adaeho-ro |
| uniform_on_restart is not inlcude the int: high value. | https://github.com/Gecode/gecode/issues/208 |
| kieronqtran | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Akieronqtran |
| Indexing of an empty vector | https://github.com/Gecode/gecode/issues/205 |
| intractabilis | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Aintractabilis |
| release/6.3.0: Test suite does not pass gecode/test/int.cpp:289: void Test::Int::TestSpace::prune(int, bool, Gecode::Support::RandomGenerator &): Assertion '(v < x[i].max()) && (v >= x[i].min())' failed. | https://github.com/Gecode/gecode/issues/200 |
| LebedevRI | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3ALebedevRI |
| release/6.3.0 branch: Minizinc 2.8.5 test tests/spec/unit/test-globals-float.mzn causes OOM | https://github.com/Gecode/gecode/issues/199 |
| LebedevRI | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3ALebedevRI |
| TIme to make the 6.3.0 release? | https://github.com/Gecode/gecode/issues/177 |
| yurivict | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Ayurivict |
| Unexpected OutOfLimits exception. | https://github.com/Gecode/gecode/issues/175 |
| handsomePirate | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3AhandsomePirate |
| build filed with error | https://github.com/Gecode/gecode/issues/172 |
| Junhao-Fang | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3AJunhao-Fang |
| fzn-gecode, inverse, error instead of solution | https://github.com/Gecode/gecode/issues/171 |
| matsc-at-sics-se | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Amatsc-at-sics-se |
| fzn-gecode, mod, wrong solutions | https://github.com/Gecode/gecode/issues/170 |
| matsc-at-sics-se | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Amatsc-at-sics-se |
| fzn-gecode, maximum_arg, abort on co-occurrences | https://github.com/Gecode/gecode/issues/169 |
| matsc-at-sics-se | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Amatsc-at-sics-se |
| fzn-gecode, sort+element, hangs | https://github.com/Gecode/gecode/issues/168 |
| matsc-at-sics-se | https://github.com/Gecode/gecode/issues?q=is%3Aissue%20state%3Aopen%20author%3Amatsc-at-sics-se |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |