René's URL Explorer Experiment


Title: History for gecode/int/count.cpp - Gecode/gecode · GitHub

Open Graph Title: History for gecode/int/count.cpp - Gecode/gecode

X Title: History for gecode/int/count.cpp - Gecode/gecode

Description: Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.

Open Graph Description: Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.

X Description: Generic Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.

Opengraph URL: https://github.com/Gecode/gecode

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/commits(/*name)
route-controllercommits
route-actionshow
fetch-noncev2:6a9b2e8a-d3eb-5189-33be-2b994fc7b738
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idB224:55779:2BF665:3E3F23:6A4E6A14
html-safe-noncec06be51235d757845225ecff09854c41f99ef87a03306596e5f2b2f63c3bac10
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCMjI0OjU1Nzc5OjJCRjY2NTozRTNGMjM6NkE0RTZBMTQiLCJ2aXNpdG9yX2lkIjoiNTQzNDQwNjkyNTgxODAzMDYxMiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacfd2f50170b6b9ed9feee72cc25a8e6105a4502a1b41e24ac9ab4b10be3a681e3
hovercard-subject-tagrepository:45666766
github-keyboard-shortcutsrepository,commit-list,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///commits/show
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp
twitter:imagehttps://opengraph.githubassets.com/a6ec57db4af2de467abc311bd9b8bf695c6cdfc17abc2655530175044cd91b75/Gecode/gecode
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/a6ec57db4af2de467abc311bd9b8bf695c6cdfc17abc2655530175044cd91b75/Gecode/gecode
og:image:altGeneric Constraint Development Environment. Contribute to Gecode/gecode development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None41b6ab3ba6d20a71766ac245b5a4a94c6fc672a9cd4da7d44c1b33ab8bf6a21c
turbo-cache-controlno-cache
go-importgithub.com/Gecode/gecode git https://github.com/Gecode/gecode.git
octolytics-dimension-user_id14131143
octolytics-dimension-user_loginGecode
octolytics-dimension-repository_id45666766
octolytics-dimension-repository_nwoGecode/gecode
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id45666766
octolytics-dimension-repository_network_root_nwoGecode/gecode
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasee6a744804e8e70f97b4d5a18a94dcc63db22f97a
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FGecode%2Fgecode%2Fcommits%2Fdevelop%2Fgecode%2Fint%2Fcount.cpp
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://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%2Fcommits%2Fdevelop%2Fgecode%2Fint%2Fcount.cpp
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%2Fcommits%2Fshow&source=header-repo&source_repo=Gecode%2Fgecode
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp
Please reload this pagehttps://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp
Gecode https://github.com/Gecode
gecodehttps://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/tree/develop
Issues 42 https://github.com/Gecode/gecode/issues
Pull requests 8 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/tree/develop
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
gecodehttps://github.com/Gecode/gecode/commits
gecodehttps://github.com/Gecode/gecode/commits/develop/gecode
inthttps://github.com/Gecode/gecode/commits/develop/gecode/int
count.cpphttps://github.com/Gecode/gecode/commits/develop/gecode/int/count.cpp
develophttps://github.com/Gecode/gecode/tree/develop
Turned forwards into backwards loopshttps://github.com/Gecode/gecode/commit/45ed1c873c7885e55e862d2e7185f625a530e31d
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
45ed1c8https://github.com/Gecode/gecode/commit/45ed1c873c7885e55e862d2e7185f625a530e31d
https://github.com/Gecode/gecode/blob/45ed1c873c7885e55e862d2e7185f625a530e31d/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/45ed1c873c7885e55e862d2e7185f625a530e31d
Remove svn-specific last modified infohttps://github.com/Gecode/gecode/commit/8207f7fd298110b7622b920634ec18de88ed6ffe
8207f7fhttps://github.com/Gecode/gecode/commit/8207f7fd298110b7622b920634ec18de88ed6ffe
https://github.com/Gecode/gecode/blob/8207f7fd298110b7622b920634ec18de88ed6ffe/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/8207f7fd298110b7622b920634ec18de88ed6ffe
Allow mix of variables and constants for relation constraintshttps://github.com/Gecode/gecode/commit/1b698dd1a98f676f08225f68167b25eac7ea426f
1b698ddhttps://github.com/Gecode/gecode/commit/1b698dd1a98f676f08225f68167b25eac7ea426f
https://github.com/Gecode/gecode/blob/1b698dd1a98f676f08225f68167b25eac7ea426f/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/1b698dd1a98f676f08225f68167b25eac7ea426f
Added support for propagator and brancher groups and tracing (not yet tested)https://github.com/Gecode/gecode/commit/448fcee00f7b8843eacfa789284ea9497370ec3f
448fceehttps://github.com/Gecode/gecode/commit/448fcee00f7b8843eacfa789284ea9497370ec3f
https://github.com/Gecode/gecode/blob/448fcee00f7b8843eacfa789284ea9497370ec3f/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/448fcee00f7b8843eacfa789284ea9497370ec3f
Delete trailing spaceshttps://github.com/Gecode/gecode/commit/2e0b1ee938b2e7ea3af5031a95447d5e41e6aa98
2e0b1eehttps://github.com/Gecode/gecode/commit/2e0b1ee938b2e7ea3af5031a95447d5e41e6aa98
https://github.com/Gecode/gecode/blob/2e0b1ee938b2e7ea3af5031a95447d5e41e6aa98/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/2e0b1ee938b2e7ea3af5031a95447d5e41e6aa98
Support additional flags for propagation levelhttps://github.com/Gecode/gecode/commit/2bfef634b645730d0ee8ff0f6d40cef81303b4d5
2bfef63https://github.com/Gecode/gecode/commit/2bfef634b645730d0ee8ff0f6d40cef81303b4d5
https://github.com/Gecode/gecode/blob/2bfef634b645730d0ee8ff0f6d40cef81303b4d5/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/2bfef634b645730d0ee8ff0f6d40cef81303b4d5
IntConLevel is IntPropLevel nowhttps://github.com/Gecode/gecode/commit/0662590678a550b6d07a6879e3591a7687104ffc
0662590https://github.com/Gecode/gecode/commit/0662590678a550b6d07a6879e3591a7687104ffc
https://github.com/Gecode/gecode/blob/0662590678a550b6d07a6879e3591a7687104ffc/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/0662590678a550b6d07a6879e3591a7687104ffc
Fixed off-by-one bug for countwith INT_GRhttps://github.com/Gecode/gecode/commit/2c83307c10985b427fb30b14b5bfb66d8465e5db
2c83307https://github.com/Gecode/gecode/commit/2c83307c10985b427fb30b14b5bfb66d8465e5db
https://github.com/Gecode/gecode/blob/2c83307c10985b427fb30b14b5bfb66d8465e5db/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/2c83307c10985b427fb30b14b5bfb66d8465e5db
To avoid nameclashes use irt rather than r for IntRelType, r is for Reify nowhttps://github.com/Gecode/gecode/commit/c2e48c4b9ce2849535a24541dec8212d6a42e23a
c2e48c4https://github.com/Gecode/gecode/commit/c2e48c4b9ce2849535a24541dec8212d6a42e23a
https://github.com/Gecode/gecode/blob/c2e48c4b9ce2849535a24541dec8212d6a42e23a/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/c2e48c4b9ce2849535a24541dec8212d6a42e23a
Switchable domain consistency for counthttps://github.com/Gecode/gecode/commit/45abc26e7f27cd04207f7345e1c48f2bbdfb7e1c
45abc26https://github.com/Gecode/gecode/commit/45abc26e7f27cd04207f7345e1c48f2bbdfb7e1c
https://github.com/Gecode/gecode/blob/45abc26e7f27cd04207f7345e1c48f2bbdfb7e1c/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/45abc26e7f27cd04207f7345e1c48f2bbdfb7e1c
Removed pointless Nq propagatorshttps://github.com/Gecode/gecode/commit/d7192a302bed8e930da908128773308fd1083c6a
d7192a3https://github.com/Gecode/gecode/commit/d7192a302bed8e930da908128773308fd1083c6a
https://github.com/Gecode/gecode/blob/d7192a302bed8e930da908128773308fd1083c6a/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/d7192a302bed8e930da908128773308fd1083c6a
Generalized count to integer setshttps://github.com/Gecode/gecode/commit/d6b8e0ef2146dd077a099504e5121212c39af702
d6b8e0ehttps://github.com/Gecode/gecode/commit/d6b8e0ef2146dd077a099504e5121212c39af702
https://github.com/Gecode/gecode/blob/d6b8e0ef2146dd077a099504e5121212c39af702/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/d6b8e0ef2146dd077a099504e5121212c39af702
No more init functions for viewshttps://github.com/Gecode/gecode/commit/d91de95967d4ba8e8fde120ae81d33cb10aa38e0
d91de95https://github.com/Gecode/gecode/commit/d91de95967d4ba8e8fde120ae81d33cb10aa38e0
https://github.com/Gecode/gecode/blob/d91de95967d4ba8e8fde120ae81d33cb10aa38e0/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/d91de95967d4ba8e8fde120ae81d33cb10aa38e0
GECODE_ES_FAIL and GECODE_ME_FAIL now make assumption that home is home (like other macros already did)https://github.com/Gecode/gecode/commit/df61de85f9ded27d55bc6295b2f0eedd31f567a7
df61de8https://github.com/Gecode/gecode/commit/df61de85f9ded27d55bc6295b2f0eedd31f567a7
https://github.com/Gecode/gecode/blob/df61de85f9ded27d55bc6295b2f0eedd31f567a7/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/df61de85f9ded27d55bc6295b2f0eedd31f567a7
Use Home rather than Space for postinghttps://github.com/Gecode/gecode/commit/3ce611d3c7be5412ab3324ce5ac4b08225276f24
3ce611dhttps://github.com/Gecode/gecode/commit/3ce611d3c7be5412ab3324ce5ac4b08225276f24
https://github.com/Gecode/gecode/blob/3ce611d3c7be5412ab3324ce5ac4b08225276f24/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/3ce611d3c7be5412ab3324ce5ac4b08225276f24
Removed registrationhttps://github.com/Gecode/gecode/commit/55a4692829e8bf6b0f1f13af38430c474cc24eed
55a4692https://github.com/Gecode/gecode/commit/55a4692829e8bf6b0f1f13af38430c474cc24eed
https://github.com/Gecode/gecode/blob/55a4692829e8bf6b0f1f13af38430c474cc24eed/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/55a4692829e8bf6b0f1f13af38430c474cc24eed
Cleanedhttps://github.com/Gecode/gecode/commit/e1af53eb4c0cd36ee97e4b2c204ef92fc14a860b
e1af53ehttps://github.com/Gecode/gecode/commit/e1af53eb4c0cd36ee97e4b2c204ef92fc14a860b
https://github.com/Gecode/gecode/blob/e1af53eb4c0cd36ee97e4b2c204ef92fc14a860b/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/e1af53eb4c0cd36ee97e4b2c204ef92fc14a860b
Most of PropKind gonehttps://github.com/Gecode/gecode/commit/9121ae95675116211f4b00299ab01fbd861e4397
9121ae9https://github.com/Gecode/gecode/commit/9121ae95675116211f4b00299ab01fbd861e4397
https://github.com/Gecode/gecode/blob/9121ae95675116211f4b00299ab01fbd861e4397/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/9121ae95675116211f4b00299ab01fbd861e4397
Use include <...> instead of include "..."https://github.com/Gecode/gecode/commit/ca00dc624b2bcd5b38bb4b198571da4c60e1aa33
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
ca00dc6https://github.com/Gecode/gecode/commit/ca00dc624b2bcd5b38bb4b198571da4c60e1aa33
https://github.com/Gecode/gecode/blob/ca00dc624b2bcd5b38bb4b198571da4c60e1aa33/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/ca00dc624b2bcd5b38bb4b198571da4c60e1aa33
Renamed .cc files to .cpp and .icc to .hpp, as .icc is typically not associated with C++ header files.https://github.com/Gecode/gecode/commit/259aae8715a2c43daf2428d51c906e726903ddff
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
259aae8https://github.com/Gecode/gecode/commit/259aae8715a2c43daf2428d51c906e726903ddff
https://github.com/Gecode/gecode/blob/259aae8715a2c43daf2428d51c906e726903ddff/gecode/int/count.cpp
https://github.com/Gecode/gecode/tree/259aae8715a2c43daf2428d51c906e726903ddff
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.