René's URL Explorer Experiment


Title: History for gecode/driver/options.cpp - Gecode/gecode · GitHub

Open Graph Title: History for gecode/driver/options.cpp - Gecode/gecode

X Title: History for gecode/driver/options.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:629df7d8-e559-4db4-16eb-b74c2183416f
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idB4E4:16C3D3:2D8A620:3FCCB47:6A4F6683
html-safe-nonce8c15101e3d994fb0b0be4187560d5c826e6ebc3873257edabafb72afecf243f0
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCNEU0OjE2QzNEMzoyRDhBNjIwOjNGQ0NCNDc6NkE0RjY2ODMiLCJ2aXNpdG9yX2lkIjoiNDk3NjMxNjEzNzkxMjM2MjYyNyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac3b3e60c3fb69691897a3cc51cc0acec7e05133f9381e4bd8739c82c6390bd152
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/driver/options.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
Noneb92d11c0aa4a77d54ef4af1078b6a15fb5a70a215b30c4ecf28889d5a8e656d9
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
release4b249b445842943ed31549e027f57a8ade9881ed
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/Gecode/gecode/commits/develop/gecode/driver/options.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%2Fdriver%2Foptions.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%2Fdriver%2Foptions.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/driver/options.cpp
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/driver/options.cpp
Reloadhttps://github.com/Gecode/gecode/commits/develop/gecode/driver/options.cpp
Please reload this pagehttps://github.com/Gecode/gecode/commits/develop/gecode/driver/options.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
driverhttps://github.com/Gecode/gecode/commits/develop/gecode/driver
options.cpphttps://github.com/Gecode/gecode/commits/develop/gecode/driver/options.cpp
develophttps://github.com/Gecode/gecode/tree/develop
Add RestartStophttps://github.com/Gecode/gecode/commit/07493493368bc7859b962e010e07f0a1b590c9da
Dekker1https://github.com/Gecode/gecode/commits?author=Dekker1
zayenzhttps://github.com/Gecode/gecode/commits?author=zayenz
0749349https://github.com/Gecode/gecode/commit/07493493368bc7859b962e010e07f0a1b590c9da
https://github.com/Gecode/gecode/blob/07493493368bc7859b962e010e07f0a1b590c9da/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/07493493368bc7859b962e010e07f0a1b590c9da
Use single option to activate cp-profiler (#90)https://github.com/Gecode/gecode/commit/c7e5561e72034a684b937531cb745d6dd8cae4f9
https://github.com/cyderize
cyderizehttps://github.com/Gecode/gecode/commits?author=cyderize
c7e5561https://github.com/Gecode/gecode/commit/c7e5561e72034a684b937531cb745d6dd8cae4f9
https://github.com/Gecode/gecode/blob/c7e5561e72034a684b937531cb745d6dd8cae4f9/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/c7e5561e72034a684b937531cb745d6dd8cae4f9
Solutions where not properly counted as unsigned long long...https://github.com/Gecode/gecode/commit/cdfc248320d1706bd284e7a924cbd2263d591255
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
cdfc248https://github.com/Gecode/gecode/commit/cdfc248320d1706bd284e7a924cbd2263d591255
https://github.com/Gecode/gecode/blob/cdfc248320d1706bd284e7a924cbd2263d591255/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/cdfc248320d1706bd284e7a924cbd2263d591255
Do not use NULLhttps://github.com/Gecode/gecode/commit/7b7eb9e322ed4cba3107f4081b340e2df554365a
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
7b7eb9ehttps://github.com/Gecode/gecode/commit/7b7eb9e322ed4cba3107f4081b340e2df554365a
https://github.com/Gecode/gecode/blob/7b7eb9e322ed4cba3107f4081b340e2df554365a/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/7b7eb9e322ed4cba3107f4081b340e2df554365a
Extended types for statistics to avoid wraparound for long-running benchmarkshttps://github.com/Gecode/gecode/commit/ac7ed70bc38ecfdb0767b016fed284858f7a172c
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
ac7ed70https://github.com/Gecode/gecode/commit/ac7ed70bc38ecfdb0767b016fed284858f7a172c
https://github.com/Gecode/gecode/blob/ac7ed70bc38ecfdb0767b016fed284858f7a172c/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/ac7ed70bc38ecfdb0767b016fed284858f7a172c
Added post events for general tracers. (#40)https://github.com/Gecode/gecode/commit/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a
https://github.com/chschulte
chschultehttps://github.com/Gecode/gecode/commits?author=chschulte
8660eedhttps://github.com/Gecode/gecode/commit/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a
https://github.com/Gecode/gecode/blob/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/8660eed871b2ee63f0676ff7a55acd1ff5c6a95a
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/driver/options.cpp
https://github.com/Gecode/gecode/tree/8207f7fd298110b7622b920634ec18de88ed6ffe
Put defaul port for CPProfiler in Search::Confighttps://github.com/Gecode/gecode/commit/250b87a9e529fa795256f5a175d526f794007563
250b87ahttps://github.com/Gecode/gecode/commit/250b87a9e529fa795256f5a175d526f794007563
https://github.com/Gecode/gecode/blob/250b87a9e529fa795256f5a175d526f794007563/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/250b87a9e529fa795256f5a175d526f794007563
Added support for CPProfilerhttps://github.com/Gecode/gecode/commit/6456550c852109c81284391b9f9c4a8200c234c4
6456550https://github.com/Gecode/gecode/commit/6456550c852109c81284391b9f9c4a8200c234c4
https://github.com/Gecode/gecode/blob/6456550c852109c81284391b9f9c4a8200c234c4/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/6456550c852109c81284391b9f9c4a8200c234c4
Switched to compact table for extnesional constraintshttps://github.com/Gecode/gecode/commit/13c26b3ba46bbdfb5b8865f25cd034510d24234e
13c26b3https://github.com/Gecode/gecode/commit/13c26b3ba46bbdfb5b8865f25cd034510d24234e
https://github.com/Gecode/gecode/blob/13c26b3ba46bbdfb5b8865f25cd034510d24234e/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/13c26b3ba46bbdfb5b8865f25cd034510d24234e
Misnomerhttps://github.com/Gecode/gecode/commit/b289d362f0e4c1fa780019b7af33fd4e9451c25e
b289d36https://github.com/Gecode/gecode/commit/b289d362f0e4c1fa780019b7af33fd4e9451c25e
https://github.com/Gecode/gecode/blob/b289d362f0e4c1fa780019b7af33fd4e9451c25e/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/b289d362f0e4c1fa780019b7af33fd4e9451c25e
Misnomerhttps://github.com/Gecode/gecode/commit/7c76781deee3f1e5cee847a28c295e86beb90770
7c76781https://github.com/Gecode/gecode/commit/7c76781deee3f1e5cee847a28c295e86beb90770
https://github.com/Gecode/gecode/blob/7c76781deee3f1e5cee847a28c295e86beb90770/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/7c76781deee3f1e5cee847a28c295e86beb90770
Uuupshttps://github.com/Gecode/gecode/commit/a4543886a0fdbf251a8e8fdd1e0cc6e3b94039b3
a454388https://github.com/Gecode/gecode/commit/a4543886a0fdbf251a8e8fdd1e0cc6e3b94039b3
https://github.com/Gecode/gecode/blob/a4543886a0fdbf251a8e8fdd1e0cc6e3b94039b3/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/a4543886a0fdbf251a8e8fdd1e0cc6e3b94039b3
Donehttps://github.com/Gecode/gecode/commit/b2e2748d1a7790d785440d718377240196318834
b2e2748https://github.com/Gecode/gecode/commit/b2e2748d1a7790d785440d718377240196318834
https://github.com/Gecode/gecode/blob/b2e2748d1a7790d785440d718377240196318834/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/b2e2748d1a7790d785440d718377240196318834
Added general tracing supporthttps://github.com/Gecode/gecode/commit/8fb37313b353ea6c4d63f45667b5d60d3c3cbdbd
8fb3731https://github.com/Gecode/gecode/commit/8fb37313b353ea6c4d63f45667b5d60d3c3cbdbd
https://github.com/Gecode/gecode/blob/8fb37313b353ea6c4d63f45667b5d60d3c3cbdbd/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/8fb37313b353ea6c4d63f45667b5d60d3c3cbdbd
Tracers also record fail eventshttps://github.com/Gecode/gecode/commit/f56f13438776d9f31a8752e01b8f85240355f036
f56f134https://github.com/Gecode/gecode/commit/f56f13438776d9f31a8752e01b8f85240355f036
https://github.com/Gecode/gecode/blob/f56f13438776d9f31a8752e01b8f85240355f036/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/f56f13438776d9f31a8752e01b8f85240355f036
Added relaxation abstraction for LNShttps://github.com/Gecode/gecode/commit/c7962c6a300575dd5dbeccac0886fcd9ee3581ca
c7962c6https://github.com/Gecode/gecode/commit/c7962c6a300575dd5dbeccac0886fcd9ee3581ca
https://github.com/Gecode/gecode/blob/c7962c6a300575dd5dbeccac0886fcd9ee3581ca/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/c7962c6a300575dd5dbeccac0886fcd9ee3581ca
Added LDShttps://github.com/Gecode/gecode/commit/ee442439f4099b1a9e06ed3a63f7c7d7ac03b5fc
ee44243https://github.com/Gecode/gecode/commit/ee442439f4099b1a9e06ed3a63f7c7d7ac03b5fc
https://github.com/Gecode/gecode/blob/ee442439f4099b1a9e06ed3a63f7c7d7ac03b5fc/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/ee442439f4099b1a9e06ed3a63f7c7d7ac03b5fc
More warnings removedhttps://github.com/Gecode/gecode/commit/bdcb6b50505460a8b4997693587aef16853e36c7
bdcb6b5https://github.com/Gecode/gecode/commit/bdcb6b50505460a8b4997693587aef16853e36c7
https://github.com/Gecode/gecode/blob/bdcb6b50505460a8b4997693587aef16853e36c7/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/bdcb6b50505460a8b4997693587aef16853e36c7
Call it fix rather than fixpointhttps://github.com/Gecode/gecode/commit/788173bd70b1eef87307da26180637ba37badf58
788173bhttps://github.com/Gecode/gecode/commit/788173bd70b1eef87307da26180637ba37badf58
https://github.com/Gecode/gecode/blob/788173bd70b1eef87307da26180637ba37badf58/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/788173bd70b1eef87307da26180637ba37badf58
Fixed a really stupid design flaw for trace event flagshttps://github.com/Gecode/gecode/commit/10d51119c29b20e5de5f838d45d3f34c7d80e681
10d5111https://github.com/Gecode/gecode/commit/10d51119c29b20e5de5f838d45d3f34c7d80e681
https://github.com/Gecode/gecode/blob/10d51119c29b20e5de5f838d45d3f34c7d80e681/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/10d51119c29b20e5de5f838d45d3f34c7d80e681
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/driver/options.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/driver/options.cpp
https://github.com/Gecode/gecode/tree/2e0b1ee938b2e7ea3af5031a95447d5e41e6aa98
Split share flag between RBS and PBShttps://github.com/Gecode/gecode/commit/9b3cc7c16fbd7dd5c7f1be1eebf033a8d6eaae43
9b3cc7chttps://github.com/Gecode/gecode/commit/9b3cc7c16fbd7dd5c7f1be1eebf033a8d6eaae43
https://github.com/Gecode/gecode/blob/9b3cc7c16fbd7dd5c7f1be1eebf033a8d6eaae43/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/9b3cc7c16fbd7dd5c7f1be1eebf033a8d6eaae43
Possibly do not share AFC between assets (on commandline or search options)https://github.com/Gecode/gecode/commit/8ee34b115b59a8155588001d915868ebbebc5449
8ee34b1https://github.com/Gecode/gecode/commit/8ee34b115b59a8155588001d915868ebbebc5449
https://github.com/Gecode/gecode/blob/8ee34b115b59a8155588001d915868ebbebc5449/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/8ee34b115b59a8155588001d915868ebbebc5449
Added portfolio searchhttps://github.com/Gecode/gecode/commit/44b363545326f47dc74b6b3ad26069585faf741c
44b3635https://github.com/Gecode/gecode/commit/44b363545326f47dc74b6b3ad26069585faf741c
https://github.com/Gecode/gecode/blob/44b363545326f47dc74b6b3ad26069585faf741c/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/44b363545326f47dc74b6b3ad26069585faf741c
New ipl values and combinations can be passed on the command linehttps://github.com/Gecode/gecode/commit/7e5e77349f658487b83a795e5c0e84345f7f4ac8
7e5e773https://github.com/Gecode/gecode/commit/7e5e77349f658487b83a795e5c0e84345f7f4ac8
https://github.com/Gecode/gecode/blob/7e5e77349f658487b83a795e5c0e84345f7f4ac8/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/7e5e77349f658487b83a795e5c0e84345f7f4ac8
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/driver/options.cpp
https://github.com/Gecode/gecode/tree/0662590678a550b6d07a6879e3591a7687104ffc
All scripts now have a constructor taking options as argumenrs and supporting a floating point step valuehttps://github.com/Gecode/gecode/commit/e318944597d8b466f7beed3ab6bc64c72095b3f5
e318944https://github.com/Gecode/gecode/commit/e318944597d8b466f7beed3ab6bc64c72095b3f5
https://github.com/Gecode/gecode/blob/e318944597d8b466f7beed3ab6bc64c72095b3f5/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/e318944597d8b466f7beed3ab6bc64c72095b3f5
Support -seed optionhttps://github.com/Gecode/gecode/commit/0c5d7741d850d9b81c83212830bddc2c389f18f4
0c5d774https://github.com/Gecode/gecode/commit/0c5d7741d850d9b81c83212830bddc2c389f18f4
https://github.com/Gecode/gecode/blob/0c5d7741d850d9b81c83212830bddc2c389f18f4/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/0c5d7741d850d9b81c83212830bddc2c389f18f4
Newline in the wrong placehttps://github.com/Gecode/gecode/commit/616945bf51c88cafbc7fd3b4cba4bbc58d560124
https://github.com/guidotack
guidotackhttps://github.com/Gecode/gecode/commits?author=guidotack
616945bhttps://github.com/Gecode/gecode/commit/616945bf51c88cafbc7fd3b4cba4bbc58d560124
https://github.com/Gecode/gecode/blob/616945bf51c88cafbc7fd3b4cba4bbc58d560124/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/616945bf51c88cafbc7fd3b4cba4bbc58d560124
No-good limit can be controlled from commandline and is stored in pathhttps://github.com/Gecode/gecode/commit/c9f679f37fd8d9e6e2e5c239c4978dc7ae18b938
c9f679fhttps://github.com/Gecode/gecode/commit/c9f679f37fd8d9e6e2e5c239c4978dc7ae18b938
https://github.com/Gecode/gecode/blob/c9f679f37fd8d9e6e2e5c239c4978dc7ae18b938/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/c9f679f37fd8d9e6e2e5c239c4978dc7ae18b938
Added no-goods from restartshttps://github.com/Gecode/gecode/commit/d958a4f355e4acf641b6cfd76ac5ca0b08a41605
d958a4fhttps://github.com/Gecode/gecode/commit/d958a4f355e4acf641b6cfd76ac5ca0b08a41605
https://github.com/Gecode/gecode/blob/d958a4f355e4acf641b6cfd76ac5ca0b08a41605/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/d958a4f355e4acf641b6cfd76ac5ca0b08a41605
More restart sequenceshttps://github.com/Gecode/gecode/commit/e0aa96c2a4ec5da5d39a16b87b07d4bcc91ff804
e0aa96chttps://github.com/Gecode/gecode/commit/e0aa96c2a4ec5da5d39a16b87b07d4bcc91ff804
https://github.com/Gecode/gecode/blob/e0aa96c2a4ec5da5d39a16b87b07d4bcc91ff804/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/e0aa96c2a4ec5da5d39a16b87b07d4bcc91ff804
Base and scale reverted for geometric, names for options must be consistenthttps://github.com/Gecode/gecode/commit/7b5b78ae57b05baff48d821445fd628b0e80b431
7b5b78ahttps://github.com/Gecode/gecode/commit/7b5b78ae57b05baff48d821445fd628b0e80b431
https://github.com/Gecode/gecode/blob/7b5b78ae57b05baff48d821445fd628b0e80b431/gecode/driver/options.cpp
https://github.com/Gecode/gecode/tree/7b5b78ae57b05baff48d821445fd628b0e80b431
Nexthttps://github.com/Gecode/gecode/commits/develop/gecode/driver/options.cpp?after=fec7e9fd99bca98f146416ba8ea8adc278f5a95a+34
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.